Dipl.-Inform. Volker Kamin
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)
Formal methods for embedded systems
Advanced abstraction techniques for model checking software for embedded systems
Symbolic model checking for software for embedded systems
Interfacing high level and low level model checking for counter-example verification
I am a member of the Arcade project.
Diploma, Bachelor, and Master Theses
Since I am about to hand in my own thesis, I do not accept any new students.