====== Dipl.-Inform. Volker Kamin ====== ~~NOTOC~~ ~~NOCACHE~~ ===== Auf Wiedersehen! ===== Es war eine geile Zeit\\ Auf zu neuen Abenteuern\\ \\ {| |- || Wissenschaftlicher Mitarbeiter\\ kamin[at]embedded[dot]rwth-aachen[dot]de\\ \\ Falls ich auf Emails nicht in angemessener Zeit antworten sollte, rufen Sie mich bitte an, da Ihre Emails fälschlicherweise als SPAM erkannt worden sein könnten.\\ \\ Tel. +49 241 80 21157\\ Fax +49 241 80 22150\\ \\ Adresse: Ahornstr. 55, 52074 Aachen, Germany\\ Büro: Raum 2325 (Gebäude H) || {{:lehrstuhl:mitarbeiter:kamin.jpg?250}} |} ===== Forschungsgebiete ===== * Formale Methoden für eingebettete Systeme * Fortschrittliche Abstraktionstechniken zum Model-Checken von Software für eingebettete Systeme * Symbolisches Model-Checking von Software für eingebettete Systeme * Abstrakte Interpretation * Symbolische Ausführung * Koppeln von High-Level und Low-Level Model-Checking zur Verifikation von Gegenbeispielen \\ Ich arbeite im [[http://arcade.embedded.rwth-aachen.de|Arcade Team]]. ===== Lehre ===== ==== Vorlesungen ==== * Sommersemester 12: [[lehre:sose12:ites]] * Sommersemester 11: [[lehre:sose11:ites]] * Wintersemester 10/11 [[lehre:wise1011:formale_methoden]] * Sommersemester 10: [[lehre:sose10:ites]] * Wintersemester 09/10: [[:lehre:wise0910:formale_methoden]] * Sommersemester 09: [[:lehre:sose09:einfuehrung_eingebettete_systeme]] ==== Seminare ==== * Wintersemester 09/10: [[:lehre:wise0910:vup_seminar]] ==== Praktika ==== * Wintersemester 13/14: [[lehre:wise1314:psp]] * Wintersemester 12/13: [[lehre:wise1213:psp]] * Wintersemester 11/12: [[lehre:wise1112:psp]] * Wintersemester 10/11: [[lehre:wise1011:hnp]] * Wintersemester 09/10: [[:lehre:wise0910:hnp]] ==== Diplom-, Bachelor- und Masterarbeiten ==== Da ich kurz davor bin meine Dissertation einzureichen, nehme ich keine weiteren Abschlussarbeiter an. ===== Publikationen =====