====== Dr. rer. nat. Jacob Palczynski ======
~~NOTOC~~
===== Kontakt =====
{|
|-
|| {{:lehrstuhl:mitarbeiter:palczynski.jpg|}}
||
palczynski[at]embedded[dot]rwth-aachen[dot]de\\
\\
|}
===== 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~~
===== 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.