Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

Link zu dieser Vergleichsansicht

Nächste Überarbeitung Beide Seiten der Revision
lehrstuhl:mitarbeiter:palczynski [2009/04/30 13:33]
brauer angelegt
lehrstuhl:mitarbeiter:palczynski [2009/05/04 17:33]
brauer
Zeile 1: Zeile 1:
 ====== Dipl.-Inform. Jacob Palczynski ====== ====== Dipl.-Inform. Jacob Palczynski ======
 +\\ 
 +=== 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 === 
 +\\ 
 +  * BMBF-Projekt ZAMOMO 
 +  * Im Rahmen meiner Diplomarbeit Anforderungen an einen Modelchecker für Matlab/​Simulink entstand eine Evaluationssuite für Matlab/​Simulink-Modelchecker 
 +\\ 
 +=== Veröffentlichungen === 
 +\\ 
 +... 
 +\\ 
 +=== 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 === 
 +\\ 
 +Jeden Montag von 13:00 bis 14:00.