Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Nächste Überarbeitung | Vorhergehende Überarbeitung Nächste Überarbeitung Beide Seiten der Revision | ||
lehrstuhl:mitarbeiter:palczynski [2009/04/30 13:33] brauer angelegt |
lehrstuhl:mitarbeiter:palczynski [2009/06/14 13:58] palczynski |
||
---|---|---|---|
Zeile 1: | Zeile 1: | ||
====== Dipl.-Inform. Jacob Palczynski ====== | ====== Dipl.-Inform. Jacob Palczynski ====== | ||
+ | ~~NOTOC~~ | ||
+ | ===== Kontakt ===== | ||
+ | {| | ||
+ | |- | ||
+ | || {{:lehrstuhl:mitarbeiter:palczynski.jpg|}} | ||
+ | || | ||
+ | Wissenschaftlicher Mitarbeiter\\ | ||
+ | palczynski[at]embedded[dot]rwth-aachen[dot]de\\ | ||
+ | \\ | ||
+ | Tel. +49 241 80 21161\\ | ||
+ | Fax +49 241 80 22150\\ | ||
+ | \\ | ||
+ | Adresse: Ahornstr. 55, 52074 Aachen\\ | ||
+ | Büro: Raum 2319 (Gebäude H)\\ | ||
+ | |} | ||
+ | |||
+ | ===== Forschungstätigkeit ===== | ||
+ | |||
+ | * Validierung automatisch generierten Codes | ||
+ | * BMBF-Projekt [[http://www.zamomo.de|ZAMOMO]] | ||
+ | * Im Rahmen meiner Diplomarbeit Anforderungen an einen Modelchecker für Matlab/Simulink entstand eine Evaluationssuite für Matlab/Simulink-Modelchecker | ||
+ | |||
+ | ===== Veröffentlichungen ===== | ||
+ | |||
+ | ~~NOCACHE~~ | ||
+ | <BIBTEX: file=publikationen style=I11 sort=year filter=palczynski> | ||
+ | |||
+ | ===== Diplomarbeiten ===== | ||
+ | |||
+ | * Formale Beschreibung abstrakter Streckenverhaltensmodelle | ||
+ | * Implementierung abstrakter Streckenverhaltensmodelle | ||
+ | * Transformation abstrakter Verhaltensmodelle von Regelstrecken | ||
+ | |||
+ | ===== Lehre ===== | ||
+ | |||
+ | {| | ||
+ | |- | ||
+ | || **Semester** | ||
+ | || **Titel** | ||
+ | || **Art** | ||
+ | |- | ||
+ | || Sommersemester 08 | ||
+ | || Modellierung technischer und physikalischer Systeme | ||
+ | || PT | ||
+ | |- | ||
+ | || Wintersemester 07/08 | ||
+ | || Dynamische Systeme für Informatiker | ||
+ | || VÜ | ||
+ | |- | ||
+ | || Sommersemester 07 | ||
+ | || Automotive Software Engineering | ||
+ | || PST | ||
+ | |- | ||
+ | || Wintersemester 06/07 | ||
+ | || Dynamische Systeme für Informatiker | ||
+ | || VÜ | ||
+ | |- | ||
+ | || Sommersemester 06 | ||
+ | || Formale Methoden für eingebettete Systeme | ||
+ | || VÜ | ||
+ | |} | ||
+ | |||
+ | ===== Sprechstunde ===== | ||
+ | |||
+ | Nach Vereinbarung. |