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 [2011/03/10 10:10] palczynski |
||
---|---|---|---|
Zeile 1: | Zeile 1: | ||
====== Dipl.-Inform. Jacob Palczynski ====== | ====== Dipl.-Inform. Jacob Palczynski ====== | ||
+ | ~~NOTOC~~ | ||
+ | ===== Kontakt ===== | ||
+ | {| | ||
+ | |- | ||
+ | || {{:lehrstuhl:mitarbeiter:palczynski.jpg|}} | ||
+ | || | ||
+ | palczynski[at]embedded[dot]rwth-aachen[dot]de\\ | ||
+ | \\ | ||
+ | <html> | ||
+ | <a href="http://www.xing.com/profile/Jacob_Palczynski" target="_blank" rel="me"><img src="http://www.xing.com/img/buttons/9_de_btn.gif" width="80" height="15" alt="Jacob Palczynski" /></a> | ||
+ | </html> | ||
+ | |} | ||
+ | |||
+ | ===== 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> | ||
+ | |||
+ | |||
+ | |||
+ | ===== Lehre ===== | ||
+ | |||
+ | {| | ||
+ | |- | ||
+ | || **Semester** | ||
+ | || **Titel** | ||
+ | || **Art** | ||
+ | |- | ||
+ | || Sommersemester 10 | ||
+ | || [[lehre:sose10:automatisierungssoftware|Automatisierungssoftware]] | ||
+ | || PT | ||
+ | |- | ||
+ | || Sommersemester 09 | ||
+ | || [[lehre:sose09:praktikum_modellierung|Modellierung technischer und physikalischer Systeme]] | ||
+ | || PT | ||
+ | |- | ||
+ | || Wintersemester 08/09 | ||
+ | || [[lehre:wise0809:seminar_modellbasierte_entwicklung|Fahrerassistenzsysteme und Modellbasierte Softwareentwicklung im Automobilberiech]] | ||
+ | || ST | ||
+ | |- | ||
+ | || Sommersemester 08 | ||
+ | || [[lehre:sose08:technische_und_physikalische_systeme|Modellierung technischer und physikalischer Systeme]] | ||
+ | || PT | ||
+ | |- | ||
+ | || Wintersemester 07/08 | ||
+ | || [[lehre:wise0708:dynamische_systeme|Dynamische Systeme für Informatiker]] | ||
+ | || VÜ | ||
+ | |- | ||
+ | || Sommersemester 07 | ||
+ | || [[lehre:sose07:automotive_software_engineering|Automotive Software Engineering]] | ||
+ | || PST | ||
+ | |- | ||
+ | || Wintersemester 06/07 | ||
+ | || [[lehre:wise0607:dynamische_systeme|Dynamische Systeme für Informatiker]] | ||
+ | || VÜ | ||
+ | |- | ||
+ | || Sommersemester 06 | ||
+ | || [[lehre:sose06:formale_methoden|Formale Methoden für eingebettete Systeme]] | ||
+ | || VÜ | ||
+ | |} | ||
+ | |||
+ | ===== Sprechstunde ===== | ||
+ | |||
+ | Nach Vereinbarung. |