====== Dr. rer. nat. Jacob Palczynski ======
~~NOTOC~~
\\
{|
|-
|| {{:lehrstuhl:mitarbeiter:palczynski.jpg|}}
|| Research Assistant\\
jacob[dot]palczynski[at]embedded[dot]rwth-aachen[dot]de\\
\\
Phone: +49 241 80 21161\\
Fax: +49 241 80 22150\\
\\
Address: Ahornstr. 55, 52074 Aachen
Office: room 2319 (building H)
|}

===== Research Activities =====

  * Validating automatically generated code
  * BMBF-founded project [[http://www.zamomo.de|ZAMOMO]]
  * In the context of my diploma thesis Anforderungen an einen Modelchecker für Matlab/Simulink (Requirements for a model checker for Matlab/Simulink) I developed an evaluation suite for model checkers for Matlab/Simulink. 

===== Publications =====

~~NOCACHE~~
<BIBTEX: file=publikationen style=I11 sort=year filter=palczynski>

===== Teaching =====

{|
|-
|| **Term**
|| **Title**
|| **Type**
|-
|-
|| Summer Semester 09
|| [[en:lehre:sose09:praktikum_modellierung|Modelling Technical and Physical Systems]]
|| PT
|-
|| Winter Semester 08/09
|| [[en:lehre:wise0809:seminar_modellbasierte_entwicklung|Driving Assistance Systems and Model-Based Automotive Development]]
|| ST
|-
|| Summer Semester 08
|| [[en:lehre:sose08:technische_und_physikalische_systeme|Modelling Technical and Physical Systems]]
|| PT
|-
|| Winter Semester 07/08
|| [[en:lehre:wise0708:dynamische_systeme|Dynamic Systems for Computer Scientists]]
|| VÜ
|-
|| Summer Semester 07
|| [[en:lehre:sose07:automotive_software_engineering|Automotive Software Engineering]]
|| PST
|-
|| Winter Semester 06/07
|| [[en:lehre:wise0607:dynamische_systeme|Dynamic Systems for Computer Scientists]]
|| VÜ
|-
|| Summer Semester 06
|| [[lehre:sose06:formale_methoden|Formale Methods for Embedded Systems]]
|| VÜ
|}