M.E.Mueller

I'm a professor for mathematical and theoretical foundations of computer science at the University of Applied Sciences Bonn-Rhein-Sieg (HBRS) and an adjunct professor ("Privatdozent") at the University Augsburg.

CV

A brief summary is in my short CV.

Research

Interests

My research interests are (non-classical) algebraic (modal) logic, vagueness by residual constructions and Galois-connections, logic knowledge discovery (aka "Machine learning") and relation algebras.

Publications

Publication listss are available on ORCID, RID, RG, and dblp (none of these are complete, but their union might be).

Teaching

Courses

I have to teach a lot. Most courses are on discrete structures and logics, both on Bachelor's and Master's level. If you attend any of my courses, please ask for teaching material during class. It is available as a hardcopy print.

Theses

Are you interested in a thesis or R&D project? - Please send an email.

Contact

I have an official staff web site at HBRS with contact information on it.

As of 2024-06-21, this page contains 1873 bytes of information without any waste of bandwidth. There is no update planned.