Dr. Sebastian Bauer

Dipl.-Math. (Univ.)

 Sebastian Bauer

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

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
« Juli 2016 »
Juli
MoDiMiDoFrSaSo
123
45678910
11121314151617
18192021222324
25262728293031