Dipl.-Inform. Volker Kamin

So long!

It has beeen an awesome time
Towards new adventures

| Research Assistant

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.




Lab Courses

Diploma, Bachelor, and Master Theses

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



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