Theoretische Informatik

Priv.-Doz. Dr. Stefan Milius


Dr. Stefan Milius
Phone +49 (0)9131 / 85 64058
fax +49 (0)9131 / 85 64055
E-mail ed.uaf@suilim.nafets
Friedrich-Alexander Universität Erlangen-Nürnberg
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Martensstr. 3
D-91058 Erlangen

Room: 11.152

About Me

I am an Assistant Professor (german: Akademischer Oberrat) at the Chair for Theoretical Computer Science of FAU Erlangen-Nürnberg.


My research interests include:

  • coalgebras and their application in computer science
  • semantics of iteration and recursion
  • universal algebra and category theory
  • logic and formal verification of systems

List of my scientific talks


Professional Activities

Current Teaching

  • Concerning topics for thesis projects ask me directly.

Old Projects