Prof. Dr. Stefan Milius

Prof. Dr. Stefan Milius
Foto: Prof. Dr. Stefan Milius


Phone: +49 (0)9131 / 85 64058
Fax: +49 (0)9131 / 85 64055
Email: stefan [dot] milius [at] fau [dot] de
Address: 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 a Senior Lecturer (german: Akademischer Direktor) 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


Editorial Activities

Program Committees

Current Teaching

  • Concerning topics for thesis projects ask me directly.
  • Theoretische Informatik für Wirtschaftsinformatik und Lehramt

Old Projects