Wissenschaftlicher Mitarbeiter
Abschlussarbeiten
Kontaktieren Sie mich gerne für Anfragen bzgl. Abschluss- und Projektaufgaben! Unser Forschungsprojekt (TRACE) deckt einen großen Technologiebereich von Embedded- bis Web- und Cloud-Anwendungen ab. Auch Hardware- oder theoretische Arbeiten (Runtime Verification, Temporal Logic, Specification Mining) finden bei uns Platz. Wir freuen uns auf Ihre Anfrage!
Lehrveranstaltungen
Veranstaltungen im Sommersemester 2025
