M.E. Müller, Prof. Dr.

Theory of Computer Science

Contact

Hochschule Bonn-Rhein-Sieg
E-Mail: 
martin.mueller [at] h-brs.de

Sankt Augustin

Grantham-Allee 20
53757
St. Augustin
Room: 
C.214 or A.033
Phone: 
ext. 251
Use PGP when sending a mail.

Profile

I work on: Algebraic logic for specification, (vague) reasoning, abstraction and induction.

Curriculum vitae

Under construction.

Projects

My research group ForMiCA

Publications

Check out ORCID, RID, RG, dblp