Harald Fecher
Harald Fecher |
Eduaction
I graduated in Mathematics at the Technical University of Darmstadt, Germany, in 1999. In 2003, I did my PhD in Computer Science at the University of Mannheim, Germany. Thereafter, I worked as a postdoc at the University of Kiel, Germany. In 2007, I worked as a postdoc at Imperial College London in the context of my research stipend. From 2008 I have worked in the AVACS project at the University of Freiburg.
Research
Model checking, abstraction, real time, branching time, formal semantics, UML state machines, process algebras
Publications
Teaching
WS08: lecture Formal Techniques for Networked and Distributed Systems
SS08: lecture Automata and Games