« April 2017 »
April
MoTuWeThFrSaSu
12
3456789
10111213141516
17181920212223
24252627282930
Uni-Logo
You are here: Home Team Harald Fecher
Document Actions

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

Personal tools