Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung Nächste Überarbeitung Beide Seiten der Revision | ||
lehrstuhl:mitarbeiter:palczynski [2009/05/04 17:33] brauer |
lehrstuhl:mitarbeiter:palczynski [2013/10/14 16:45] stollenwerk [Dipl.-Inform. Jacob Palczynski] |
||
---|---|---|---|
Zeile 1: | Zeile 1: | ||
- | ====== Dipl.-Inform. Jacob Palczynski ====== | + | ====== Dr rer.-nat. Jacob Palczynski ====== |
- | \\ | + | ~~NOTOC~~ |
- | === Kontakt === | + | ===== Kontakt ===== |
- | \\ | + | |
{| | {| | ||
|- | |- | ||
|| {{:lehrstuhl:mitarbeiter:palczynski.jpg|}} | || {{:lehrstuhl:mitarbeiter:palczynski.jpg|}} | ||
|| | || | ||
- | Wissenschaftlicher Mitarbeiter\\ | ||
palczynski[at]embedded[dot]rwth-aachen[dot]de\\ | palczynski[at]embedded[dot]rwth-aachen[dot]de\\ | ||
\\ | \\ | ||
- | Tel. +49 241 80 21161\\ | + | <html> |
- | Fax +49 241 80 22150\\ | + | <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> |
- | \\ | + | <a href="http://de.linkedin.com/in/jacobpalczynski"> |
- | Adresse: Ahornstr. 55, 52074 Aachen\\ | + | |
- | Büro: Raum 2319 (Gebäude H)\\ | + | |
+ | |||
+ | |||
+ | <img src="http://www.linkedin.com/img/webpromo/btn_profile_greytxt_80x15_de_DE.png?locale=" width="80" height="15" border="0" alt="Profil von Jacob Palczynski auf LinkedIn anzeigen"> | ||
+ | |||
+ | |||
+ | |||
+ | |||
+ | </a> | ||
+ | </html> | ||
|} | |} | ||
- | \\ | + | |
- | === Forschungstätigkeit === | + | ===== Forschungstätigkeit ===== |
- | \\ | + | |
- | * BMBF-Projekt ZAMOMO | + | * 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 | * Im Rahmen meiner Diplomarbeit Anforderungen an einen Modelchecker für Matlab/Simulink entstand eine Evaluationssuite für Matlab/Simulink-Modelchecker | ||
- | \\ | + | |
- | === Veröffentlichungen === | + | ===== Veröffentlichungen ===== |
- | \\ | + | |
- | ... | + | ~~NOCACHE~~ |
- | \\ | + | <BIBTEX: file=publikationen style=I11 sort=year filter=palczynski> |
- | === Diplomarbeiten === | + | |
- | \\ | + | |
- | * Formale Beschreibung abstrakter Streckenverhaltensmodelle | + | |
- | * Implementierung abstrakter Streckenverhaltensmodelle | + | ===== Lehre ===== |
- | * Transformation abstrakter Verhaltensmodelle von Regelstrecken | + | |
- | \\ | + | |
- | === Lehre === | + | |
- | \\ | + | |
{| | {| | ||
|- | |- | ||
Zeile 39: | Zeile 45: | ||
|| **Titel** | || **Titel** | ||
|| **Art** | || **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 | || Sommersemester 08 | ||
- | || Modellierung technischer und physikalischer Systeme | + | || [[lehre:sose08:technische_und_physikalische_systeme|Modellierung technischer und physikalischer Systeme]] |
|| PT | || PT | ||
|- | |- | ||
|| Wintersemester 07/08 | || Wintersemester 07/08 | ||
- | || Dynamische Systeme für Informatiker | + | || [[lehre:wise0708:dynamische_systeme|Dynamische Systeme für Informatiker]] |
|| VÜ | || VÜ | ||
|- | |- | ||
|| Sommersemester 07 | || Sommersemester 07 | ||
- | || Automotive Software Engineering | + | || [[lehre:sose07:automotive_software_engineering|Automotive Software Engineering]] |
|| PST | || PST | ||
|- | |- | ||
|| Wintersemester 06/07 | || Wintersemester 06/07 | ||
- | || Dynamische Systeme für Informatiker | + | || [[lehre:wise0607:dynamische_systeme|Dynamische Systeme für Informatiker]] |
|| VÜ | || VÜ | ||
|- | |- | ||
|| Sommersemester 06 | || Sommersemester 06 | ||
- | || Formale Methoden für eingebettete Systeme | + | || [[lehre:sose06:formale_methoden|Formale Methoden für eingebettete Systeme]] |
|| VÜ | || VÜ | ||
|} | |} | ||
- | \\ | + | |
- | === Sprechstunde === | + | ===== Sprechstunde ===== |
- | \\ | + | |
- | Jeden Montag von 13:00 bis 14:00. | + | Nach Vereinbarung. |