Dipl.-Inform. Volker Kamin

So long!

It has beeen an awesome time
Towards new adventures


| Research Assistant
kamin[at]embedded[dot]rwth-aachen[dot]de

If I do not reply to your mails within a reasonable amount of time please give me a call, they might have been misinterpreted as spam.

Phone +49 241 80 21157
Fax +49 241 80 22150

Address: Ahornstr. 55, 52074 Aachen, Germany
Office: room 2325 (building H)
|

Research Topics

  • Formal methods for embedded systems
  • Advanced abstraction techniques for model checking software for embedded systems
  • Symbolic model checking for software for embedded systems
  • Abstract Interpretation
  • Symbolic Execution
  • Interfacing high level and low level model checking for counter-example verification


I am a member of the Arcade project.

Teaching

Lectures

Seminars

Lab Courses

Diploma, Bachelor, and Master Theses

Since I am about to hand in my own thesis, I do not accept any new students.

Publikationen


Publikations-Export

RWTH Aachen University - Chair of Computer Science 11 - Ahornstr. 55 - 52074 Aachen - Germany