====== Dr. rer. nat. Marcus Völker ======
~~NOTOC~~
~~NOCACHE~~

===== Contact =====

Research assistant\\
\\

Tel. +49 241 80 21158\\
Fax +49 241 80 22150\\

\\
Email: voelker[at]embedded[dot]rwth-aachen[dot]de\\
\\
Address: Ahornstr. 55, 52074 Aachen, Germany\\

Office: Room 2302 (Building H)\\

\\


===== Teaching =====
| **Semester**         | **Titel**                           |  **Art** |
| Wintersemester 15/16 | [[lehre:wise1516:formale_methoden]] |    V     |
| Wintersemester 16/17 | [[lehre:wise1617:formale_methoden]] |    V     |
|                      | [[lehre:wise1617:formal]]            |    S     |
| Sommersemester    17 | [[lehre:sose17:formal]]            |    S     |
|                      | [[lehre:sose17:nxtprogrammierung]]            |    P     |


===== Publications =====

<BIBTEX: file=publikationen+voelker_publikationen style=I11 sort=timestamp filter=Völker reference=conference>