Computer Science

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

Math./theor. Foundations

Contact

20201119_fbinf_martin_mueller_kw_7025-1_portrait.jpg
Email: 
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.

My habilitation research on Algebras of Vagueness.

My old project group on distributed robot environments, PARIA.

Publications

Check out ORCID, RID, RG, dblp