Lehrstuhl für Theoretische Informatik
Friedrich-Alexander Universität Erlangen-Nürnberg
Germany Research topics: * coalgebra
* category theory and its applications in computer science
* formal verification
(updated at 2013-03-20)
http://www.stefan-milius.eu