You are here: Home Team Harald Fecher

Harald Fecher




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.



Model checking, abstraction, real time, branching time, formal semantics, UML state machines, process algebras





WS08: lecture Formal Techniques for Networked and Distributed Systems

SS08: lecture Automata and Games


Own Projects