Dr. Sebastian Bauer
Dipl.-Math. (Univ.)
Between June 2008 and August 2012, I was a PhD student in the PST group of the computer sciene department, LMU München. In October 2012, I defended my PhD thesis with the title "Modal Specification Theories for Component-Based Design".
Research Interests
I am interested in semantic foundations of behavioral specifications of component interfaces. In my thesis, I worked on the theory of modal transition system and their use as a basis for interface theories for component-based design.
Events
- FIT 2012, Fourth International Workshop on Foundations of Interface Technologies, ETAPS 2012 satellite event, Tallinn, Estonia, March 25, 2011 (co-organizer, together with Jean-Baptiste Raclet)
Teaching
- Teaching Assistant for Entwurf und Implementierung paralleler Programme
(Prof. Dr. Rolf Hennicker), SoSe 2012 - Teaching Assistant for Softwaretechnik
(Prof. Mirco Tribastone, Ph.D.), WiSe 2011/12 - Teaching Assistant for Entwurf und Implementierung paralleler Programme
(Prof. Dr. Rolf Hennicker), SoSe 2011 - Teaching Assistant for Programmierung und Modellierung
(Prof. Dr. Martin Wirsing), SoSe 2010 - Teaching Assistant for Softwaretechnik
(Prof. Dr. Rolf Hennicker), WiSe09/10
Links
- MIO Workbench, the verification tool for modal input/output automata, developed at LMU München
Publications
My Erdös number is at most 5, for example through Erdös - Colbourn - Zhang - Rémy - Wirsing - Bauer.
Contact
Email: bauerse (at) pst.ifi.lmu.de
