Dr. Stefan Milius - Institut für Theoretische Informatik - Technische ...

Stefan Milius Curriculum Vitæ Dezember 2010PERSÖNLICHE ANGABENGeboren am 3. Juni 1975 in Magdeburg. Verheiratet, zwei Kinder.ZUSAMMENFASSUNGForschungsschwerpunkte: Kategorielle Algebra and ihre Anwendungen in dertheoretischen Informatik, Theorie der Koalgebren und Semantik von Rekursion.37 Publikationen in Konferenzproceedings und Zeitschriften (refereed).Lehrerfahrung in verschiedenen mathematischen Fächern und Grundlagen derInformatik: Kategorientheorie, Logik, Kryptologie, Automatentheorie, Komplexitätstheorie,Grundlagen formaler Verifikation.AUSZEICHNUNGENAckermann Dissertationspreis der ”European Association for ComputerScience Logic“ (EACSL)Nominierung für den Dissertationspreis der Gesellschaft für Informatik(GI-Preis)Preis der Technischen Universität Braunschweig für hervorragendeLeistungen im Studium200620062000Mitglied der Studienstiftung des deutschen Volkes 1998 – 2000AUSBILDUNG09/2000 – 10/2005 Dr. rer. nat., Technische Universität BraunschweigDissertation: Coalgebras, Monads and SemanticsMentor: Jiří AdámekAbschlussnote: mit Auszeichnung10/1995 – 9/2000 Dipl. Inform., Technische Universität BraunschweigAbschlussnote: mit Auszeichnung9/1999 – 7/2000 M.A., Pure Mathematics, York University, Toronto, ON, CanadaMaster’s Thesis: Relations in CategoriesMentor: Walter Tholen9/1990 – 6/1994 Abitur, Werner-von-Siemens-Gymnasium, Magdeburg(vorm. ”Spezialschule math., naturwissenschaftl., techn. Richtung”)Durchschnitt: 1.0BISHERIGE TÄTIGKEITEN8/2008 – heute Akademischer Rat,Institut für Theoretische Informatik, Technische UniversitätBraunschweig1/2007 – 7/2008 Mitarbeiter Entwicklung, System- und SoftwarearchitektSiemens AG, Industry Sector, Mobility Division, Rail AutomationSection9/2000 – 12/2006 wissenschaftlicher Mitarbeiter, Institut für Theoretische Informatik,Technische Universität Braunschweig9/1999 – 3/2000 teaching assistant, Department of Mathematics and Statistics, YorkUniversity2