|
|
|||||||||||
|
|
|||||||||||
Erstellt: 19. November 2006
Lebenslauf
Persönliche Daten
| geb. 7.6.1972 in Burgau, Schwaben |
| ledig |
Schule, Wehr-/Zivildienst
10.7.1991 | Abitur, Dossenberger Gymnasium Günzburg (Bayern), Gesamtnote 1.0 |
8/1991-10/1992 | Therapiezentrum Burgau, Pflegebereich, Zivildienst |
Studium/Ausbildung
10/1992-3/1998 | Universität Ulm, Informatik-Studium |
| Nebenfach zunächst Chemie, dann Mathematik (wegen ihrer Exaktheit) |
| Schwerpunkte: künstliche Intelligenz, automatisiertes Beweisen |
| Diplomarbeit: “Solving Bit-Vector Equations – A Decision Procedure |
| for Hardware Verification” (Englisch) |
12.3.1998 | Diplom Informatik, Universität Ulm, Gesamtnote 1.0 |
7/1998-5/2002 | BRICS International Ph.D. School, Dänemark, Entscheidung aufgrund |
| des guten Rufs des dortigen Ausbildungs- und Forschungsprogramms |
| Doktorvater Kim G. Larsen (Aalborg) |
| Schwerpunkte: Verifikation, formale Methoden, Echtzeit-Systeme |
| Teilnahme an internationalen Konferenzen und Vorstellung von |
| Forschungsergebnissen |
| Dissertation: “Structure and Hierarchy in Real-Time Systems” (Englisch) |
7.5.2002 | Promotion “Ph.D. Degree in Science”, Universität Aarhus, Dänemark |
Professionelle Aktivitäten
9/1995-2/1996 | Wissenschaftliche Hilfskraft, Abteilung für Künstlichen Intelligenz |
| Modellierung der Sprache Occam im Theorembeweiser PVS |
9/1996-10/1996 | Stanford Research Institute SRI International, Menlo Park, USA |
| Forschungsgruppe John Rushby, |
| Entwicklung und Implementierung von Entscheidungsprozeduren für |
| Bit-Vektoren im Theorembeweiser PVS (aufbauend auf Vorarbeit in Ulm) |
10/1996-2/1997 | Wissenschaftliche Hilfskraft: Grundlagen der Künstlichen Intelligenz, |
und 10/1997-1/1998 | Prof. Friedrich von Henke und Mitarbeiter, Universität Ulm |
2/1999-6/1999 | Instrukteur im Kurs “Fundamentale Modeller” (Automatentheorie und |
| formale Sprachen), Flemming Nielson, Universität Aarhus |
9/1999-11/1999 | Universität von Pennsylvania (UPenn), Philadelphia, USA |
| Forschungsgruppe Rajeev Alur, |
| Entwicklung und Implementierung automatischer Strukturierungs- |
| Algorithmen für den Model-Checker Mocha |
4/2000-6/2000 | Århus/Aalborg: Instrukteur und Verantwortlicher für verwendete Tools |
und 4/2001-6/2001 | im Ph.D. Kurs “Verification” (Formale Verifikation), Prof. Kim G. Larsen |
9/2000-2/2001 | Universität Uppsala, Schweden, Forschungsgruppe Wang Yi |
| Entwurf einer hierarchischen Modellierungssprache für Echtzeit- |
| Systeme, Realisierung in XML, Design und Implementierung der |
| Anbindung zum Echtzeit-Model-Checker Uppaal |
7/2001-8/2001 | Stanford Research Institute SRI International, Menlo Park, USA |
| Forschungsgruppe John Rushby, |
| Entwicklung eines abstraktions-basierten Rahmenwerks für die |
| Verifikation von Echtzeitsystemen |
12/2000-12/2001 | Verantwortlicher der Universität Aalborg für das europäische Projekt |
| No. IST-1999-10069, “Advanced Information Technology-Workshop for |
| Object Oriented Design and Development of Embedded Systems” |
| (AIT-WOODDES), |
| Mitarbeit beim Erstellen eines UML Profils zur Echtzeit-Modellierung, |
| Einbindung verschiedener Verifikationstechniken in den objekt- |
| orientierten Entwicklungsprozess ROPES |
9/2002 - heute | Angestellt als Projektleiter bei Verified Systems International GmbH |
| (www.verified.de). Tätigkeiten beinhalten: |
| Tool-Entwicklung, |
| Durchführung von System- und Fehler-Analysen, |
| Erstellung und Wartung von Test-Umgebungen, |
| Tool- und Test-Support mittels Telefon und E-Mail |
| Seit 2004: Qualitäts-Manager (ISO-9001 zertifiziertes Unternehmen): |
| Prozess-Entwicklung und Dokumentation, Assesment, Vorbereitung und |
| Durchführung von Qualitäts-bezogenen Audits |
Hobbies
| Outdoor: Rucksackwandern, Klettern, Trekking |
| Pfadfinder-Aktionen: Mitorganisation von Wochenenden, Lagern, und Kursen |
| Motorrad-Touren |
| Kleinere Programmier-Projekte (ich komme aus der C64er-Generation), Java Applets, Skripte, |
| Micro-Controller (die Steuerungseinheit für ein Lichtmischpult) |
| Film und Filmgeschichte, Kino-Klassiker |
| Verfassen von Amateur-Drehbüchern im Autoren-Team, Thematik generell satirisch oder |
| humoristisch; momentanes langjähriges Projekt ist eine Kriminalnovelle |
