Dr. Harald Fecher

Room 00-019, building 052 Phone +49 761 203 8235 Fax +49 761 203 8242 Mail fecher [ATT] informatik.uni-freiburg.de Homepage http://swt.informatik.uni-freiburg.de/fecher

Education

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

Teaching 

SS08: lecture Automata and Games

Publications

Projects

refism