Contact

Email:
martin.mueller [at] h-brs.deSankt Augustin
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