Navigation

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 Oberrat) at the Chair for Theoretical Computer Science of FAU Erlangen-Nürnberg.

Research

Publications

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

Awards

Editorial Activities

Program Committees

Current Teaching

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

Old Projects