Sebastian Bauer
Dipl. Math., research assistant
I am a PhD student in the PST group of the computer sciene department, LMU München.
News
- [16.12.2011] The submission deadline for FIT 2012 is approaching!
- [16.12.2011] Our paper "Moving from Specifications to Contracts in Component-Based Design" has been accepted at FASE 2012. Co-Authors are A. David, R. Hennicker, K.G. Larsen, A. Legay, U. Nyman and A. Wasowski.
Research Interests
My PhD thesis is about formal component-based software development. In particular, I am interested in semantic foundations of behavioral specifications of component interfaces. Currently, I am working 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 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
Local Events
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.
Office
Oettingenstr. 67
Room: F 007 (ground floor)
Address
Institut für Informatik
Universität München
Oettingenstr. 67
D-80538 München
Germany
Tel.: +49-89-2180-9375
Fax: +49-89-2180-9175
Email: bauerse (at) pst.ifi.lmu.de
