Prof. Dr. Stefan Milius |
 |
||
 |
+49 (0)9131 / 85 64058 | ||
 |
+49 (0)9131 / 85 64055 | ||
 |
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 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
- EATCS Best Paper Award at MFCS 2017 for "Eilenberg Theorems for Free" (with J. Adamek and H. Urbat)
- CALCO 2015 Best Paper Award for "Syntactic Monoids in a Category" (with J. Adamek and H. Urbat)
- Ackermann Award 2006 for my PhD thesis.
- Braunschweig Preis für hervorragende Leistungen im Studium, 2000.
Professional Activities
- Conference on Algebra and Coalgebra in Computer Science (CALCO), Steering Committee cochair (with M. Roggenbach, since 2015)
- International Workshop on Coalgebraic Methods in Computer Science (CMCS), Steering Committee chair (since 2015)
- Executive Editor of Logical Methods in Computer Science (and Managing Editor for Special Issues, since 2014)
- 8th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2006), PC member
Current Teaching
- Concerning topics for thesis projects ask me directly.
Old Projects
- Master thesis ”Relations in Categories”
- Student research project in computer science on ”Multiplication of sparse matrices with an instruction systolic array”
- Alan - a simulator for turing machines that was developed during the software engineering practicum in 1997.
- Graphics Vision: a library for graphical user interfaces with Turbo Pascal developed between 1992 and 1996.