Allgemein
| Name: | Stefan Lämmermann |
|---|---|
| Position: | Doktorand und Wissenschaftlicher Mitarbeiter |
| Interessen: | System-Verifikation, HW/SW CoVerifikation, UML/SysML, SystemC(-AMS) |
| Assertion-basierte Verifikation | |
| Mixed-Signal Assertions | |
| Formale und Semiformale Verifikation | |
| Systemanalyse für die Verifikation von HW/SW-Systemen |
Lebenslauf
| Studium | |
|---|---|
| März 1999 - Juli 2002 |
Diplomstudiengang Elektrotechnik
Fachhochschule (University of Applied Science), Frankfurt am Main
Studienrichtung: Technische Informatik Juli 2002: Diplom Ingenieur (Elektrotechnik) FH
|
| Oktober 2002 - September 2004 |
Diplomstudiengang Elektrotechnik
Technischen Universität, Darmstadt
Studienrichtung: Datentechnik September 2004: Diplom Ingenieur (Elektrotechnik)
|
| Forschung | |
| Juni 2005 - |
Seit 15. Juni 2006 Wissenschaftlicher Mitarbeiter der Formal Methods Group am Lehrstuhl Technische Informatik der Universität Tübingen.
|
| Berufserfahrung | |
| Oktober 2000 - Januar 2005 |
Projekt-Ingenieur (ab Juli 2002)
Ingenieurbüro LH&Partner, Alzenau
Ingenieurbüro für Vakuumanlagenbau und Maschinenbau |
| Februar 2005 - Juni 2005 |
Entwicklungsingenieur
EDAG, München
BMW-Projekt: Passive Sicherheits-Systeme Seiten-Crash- und Insassen-Erkennung |
| Juni 2005 |
Doktorand und Wissenschaftlicher Mitarbeiter
Eberhard-Karls-Universität Tübingen
Technische Informatik Wilhelm-Schickard-Institut für Informatik |