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.


This website uses cookies. By using the website, you agree with storing cookies on your computer. If you do not agree please leave the website.More information about cookies

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