====== Stefan Rakel, M.Sc. RWTH ======
Research Assistant\\ 
\\
=== Contact ===

rakel[at]embedded[dot]rwth-aachen[dot]de\\
\\
Phone +49 241 80 21165\\
Fax +49 241 80 22150\\
\\
Address: Ahornstr. 55, 52074 Aachen, Germany\\
Office: Raum 2319 (Gebäude H) \\
\\

===== Consultation=====

By arrangement

===== Teaching =====
| **Semester**         | **Title**                                | **Type** |
| SS17 | [[lehre:sose17:nxtprogrammierung]] | P |
| WS17/18 | [[lehre:wise1718:psp]]| P |
| ::: | [[lehre:wise1718:mbt]] | S |
===== Open Theses =====
{{ :lehre:abschlussarbeiten:sr:gsn_editor.pdf |Goal Structuring Notation Editor}}\\
===== Current Theses =====
{{ :lehre:abschlussarbeiten:ba_ma_sr_pc_technical_assumptions_safety_goals.pdf | Formalisierung von Technical Assumptions und Safety Goals}}