Dipl.-Inform. Volker Kamin

Auf Wiedersehen!

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)
| kamin.jpg

Forschungsgebiete

  • 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.

Lehre

Vorlesungen

Seminare

Praktika

Diplom-, Bachelor- und Masterarbeiten

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

Publikationen


Publikations-Export
Diese Website verwendet Cookies. Durch die Nutzung der Website stimmen Sie dem Speichern von Cookies auf Ihrem Computer zu. Wenn Sie nicht einverstanden sind, verlassen Sie bitte die Website.Weitere Information

RWTH Aachen - Lehrstuhl Informatik 11 - Ahornstr. 55 - 52074 Aachen - Deutschland