Es war eine geile Zeit
Auf zu neuen Abenteuern

| Wissenschaftlicher Mitarbeiter kamin[at]embedded[dot]rwth-aachen[dot]de Falls ich auf Emails nicht in angemessener Zeit antworten sollte, rufen Sie mich bitte an, da Ihre Emails fälschlicherweise als SPAM erkannt worden sein könnten. Tel. +49 241 80 21157 Fax +49 241 80 22150 Adresse: Ahornstr. 55, 52074 Aachen, Germany Büro: Raum 2325 (Gebäude H)

|

• Formale Methoden für eingebettete Systeme
• Fortschrittliche Abstraktionstechniken zum Model-Checken von Software für eingebettete Systeme
• Symbolisches Model-Checking von Software für eingebettete Systeme
• Abstrakte Interpretation
• Symbolische Ausführung
• Koppeln von High-Level und Low-Level Model-Checking zur Verifikation von Gegenbeispielen

Ich arbeite im Arcade Team.

• Sommersemester 12: Einführung in eingebettete Systeme
• Sommersemester 11: Einführung in eingebettete Systeme
• Wintersemester 10/11 Formale Methoden für eingebettete Systeme
• Sommersemester 10: Einführung in eingebettete Systeme
• Wintersemester 09/10: Formale Methoden für eingebettete Systeme
• Sommersemester 09: Einführung in eingebettete Systeme

• Wintersemester 09/10: Verifikation und Programmanalyse

• Wintersemester 13/14: Praktikum Systemprogrammierung
• Wintersemester 12/13: Praktikum Systemprogrammierung
• Wintersemester 11/12: Praktikum Systemprogrammierung
• Wintersemester 10/11: Hardwarenahe Programmierung
• Wintersemester 09/10: Hardwarenahe Programmierung

Da ich kurz davor bin meine Dissertation einzureichen, nehme ich keine weiteren Abschlussarbeiter an.

<BIBTEX: file=publikationen style=I11 sort=timestamp filter=Kamin referenz=conference>