Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.


—lehrstuhl:mitarbeiter:kamin [2024/10/30 03:13] (aktuell) – angelegt - Externe Bearbeitung 127.0.0.1
Zeile 1: Zeile 1:
 +====== 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 =====
 +<BIBTEX: file=publikationen style=I11 sort=timestamp filter=Kamin referenz=conference>