Dipl.-Inform. Volker Kamin

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)

|

• 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.

• Summer semester 13: Introduction to Embedded Systems
• Summer semester 12: Introduction to Embedded Systems
• Summer semester 11: Introduction to Embedded Systems
• Winter semester 10/11: Formal Methods for Embedded Systems
• Summer semester 10: Introduction to Embedded Systems
• Winter semester 09/10: Formal Methods for Embedded Systems
• Summer semester 09: Introduction to embedded systems

• Winter semester 09/10: Verification and Program Analysis

• Winter semester 13/14: Praktikum Systemprogrammierung (only German version)
• Winter semester 12/13: Praktikum Systemprogrammierung (only German version)
• Winter semester 11/12: Praktikum Systemprogrammierung (only German version)
• Winter semester 10/11: Hardwarenahe Programmierung (only German version)
• Winter semester 09/10: Hardwarenahe Programmierung (only German version)

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