You are here: Home Team 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

 

Own Projects

refism