OFFIS
R&D Division Safety Critical Systems
Escherweg 2
26121 Oldenburg
Germany
Contact:
Fon: +49-441-9722-526
E-Mail:<lastname>@offis.de
Short CV:
| 11.6.1970 | Born |
| Oct 1990 | Studies of Computer Science and Mathematics |
| May 1995 | MSC in Computer Science |
| Oct 1995 | Member
of the CSD grouped headed by Prof. Olderog (old homepage) |
| Aug 1997 | MSc in Mathematics |
| Oct 1999 | PhD in Computer Science |
| Nov 2005 | Member of the SC division of OFFIS |
| Dec 2005 | Habilitation in Computer Science |
Projects:
| 1995-1998 | UniForM | since 2004 | AVACS | 2005-2007 | EASIS | since 2007 | IMoST |
Conferences:
| ICTAC 2004 | PC member |
| ICTAC 2005 | PC member |
| ICCP 2006 | PC member |
| CAV 2007 | Tool Chair |
Reviews for Conferences:
MFCS 1996, FTRTFT 1996, FTRTFT 1998, FTRTFT 2000, FTRTFT 2002, FTRTFT 2004, STACS 2000, CONCUR 1997, CONCUR 2000, CONCUR 2001, CONCUR 2004, FORMATS 2003, SVV 2003, COCV 2004, FASE 2006, CAV 2006, FM 2006, TACAS 2007, CAV 2007, FORMATS 2007, CAV 2008
Reviews for Journals:
Publications:
A list of my publications is here
Teaching:
| Summer 08 | Automata Theory and Formal Languages (at the HAW in Hamburg) | undergraduate course |
| Summer 05 | Real-Time Systems | graduate course |
| Winter 04/05 | Logic Based Programming | graduate course |
| Summer 04 | Verification of Hybrid Systems | graduate course |
| Winter 03/04 | Theoretical Computer Science | undergraduate course |
| Summer 03 and Winter 02/03 | Communicating Autonomous Robots | project course |
| Summer 02 | Autonomous Robots | seminar |
| Winter 01/02 | Theoretical Computer Science | undergraduate course |
| Summer 01 | Programming in Prolog | undergraduate course |
| Winter 00/01 | Real-Time Systems | advanced practical course |
| Winter 98/99 | Real-Time Systems | graduate course | and a lot of tutorials for Theoretical Computer Science, Logics, Program Verification, Real-Time Systems, Calculus I & II, Linear Algebra, Graph Theory |
Miscellaneous:
-
-
My Erdös number is less
or equal to 4:
Erdös - Saharon Shelah - Amir Pnueli - Andreas Podelski - me