Wissenschaftlicher Stab
Aufgabenfelder
Der Wissenschaftliche Stab berät und unterstützt die Geschäftsführung in allen wissenschaftlichen und organisatorischen Belangen. Die wesentlichen Aufgaben bestehen in der Betreuung von Dagstuhl-Seminaren, Forschungsprospektion, Öffentlichkeitsarbeit, Gremienarbeit, Erstellung von Leistungsplänen und Qualitätskontrolle.
Werdegang
- seit 08.2009: Mitglied des wissenschaftlichen Stabs von Schloss Dagstuhl--Leibniz-Zentrum für Informatik
-
2008/2009: Editor Applied Sciences/Computer Science bei der
Birkhaeuser Verlag AG
- 2008: Promotion zum Dr. rer. nat. an der Albert-Ludwigs-Universität Freiburg im Breisgau. Thema: "SAT-based Verification: From Core Algorithms to Novel Applications Domains", siehe [hier]
- 2004-2007: Mitglied des SFB/TR 14 "Automatic Verification and Analysis of Complex Systems", siehe [AVACS]
- 2000-2007: Wissenschaftlicher Mitarbeiter am Lehrstuhl für Rechnerarchitektur bei Professor Dr. Bernd Becker, siehe [IRA]
- 1994-2000: Studium der Informatik (Diplom) mit Nebenfach Mikrosystemtechnik an der Albert-Ludwigs-Universität Freiburg im Breisgau, siehe [ALU/FAW]
Publikationen, Projekte, Lehre
Siehe ACM Author Profile und [DBLP]
Mitgliedschaften
- seit 2000 Mitglied der
Gesellschaft für Informatik e.V. (GI)
- seit 2008 Mitglied der
Association of Computing Machinery (ACM)
