Prof. Dr. rer. nat. Franz Regensburger
Studiengangleiter und Studienfachberater Informatik B. Sc.
Raum:
A101
Lehrgebiet:
Praktische Informatik und Programmierung
Vita
- Seit 2011 an der THI
- 2009-2011: Travian Games GmbH München: High-Performance Datenbankanwendungen, BigData, Projektleitung und Scrum Master
- 2000-2009: Siemens AG München: Mobilfunkentwicklung, Netzwerksicherheit, Automatisierung
- 1996-2000: Siemens AG München: Zentrale Forschung, Model-Checking, Formale Verifikation
- 1990-1996: TU München: Wissenschaftlicher Angestellter
- 1990-1996 Promotion zum Dr. rer. nat.
- 1983-1989 Studium der Informatik mit Nebenfach Mathematik, Diplom in Informatik
Publikationen
1993
BROY, Manfred, Christian FACCHI, Radu GROSU, Rudi HETTLER, Heinrich HUSSMANN, Dieter NAZARETH, Franz REGENSBURGER, Oscar SLOTOSCH und Ketil STØLEN, 1993. The Requirement and Design Specification Language SPECTRUM: An Informal Introduction : Version 1.0. Part II. München: Technische Universität München.