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

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