====== Dipl.-Inform. Volker Kamin ====== ~~NOTOC~~ ~~NOCACHE~~ ===== 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) || {{:lehrstuhl:mitarbeiter:kamin.jpg?150|}} |} ===== 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 [[http://arcade.embedded.rwth-aachen.de|Arcade project]]. ===== Teaching ===== ==== Lectures ==== * Summer semester 13: [[en:lehre:sose13:ites]] * Summer semester 12: [[en:lehre:sose12:ites]] * Summer semester 11: [[en:lehre:sose11:ites]] * Winter semester 10/11: [[en:lehre:wise1011:formale_methoden]] * Summer semester 10: [[en:lehre:sose10:ites]] * Winter semester 09/10: [[en:lehre:wise0910:formale_methoden]] * Summer semester 09: [[en:lehre:sose09:einfuehrung_eingebettete_systeme]] ==== Seminars ==== * Winter semester 09/10: [[en:lehre:wise0910:vup_seminar]] ==== Lab Courses ==== * Winter semester 13/14: [[lehre:wise1314:psp]] (only German version) * Winter semester 12/13: [[lehre:wise1213:psp]] (only German version) * Winter semester 11/12: [[lehre:wise1112:psp]] (only German version) * Winter semester 10/11: [[lehre:wise1011:hnp]] (only German version) * Winter semester 09/10: [[lehre:wise0910:hnp]] (only German version) ==== Diploma, Bachelor, and Master Theses ==== Since I am about to hand in my own thesis, I do not accept any new students. ===== Publikationen =====