====== Dr. rer. nat. Marcus Völker ======
~~NOTOC~~
~~NOCACHE~~
===== Kontakt =====
Wissenschaftlicher Mitarbeiter\\
\\
Tel. +49 241 80 21158\\
Fax +49 241 80 22150\\
\\
Email: voelker[at]embedded[dot]rwth-aachen[dot]de\\
\\
Adresse: Ahornstr. 55, 52074 Aachen, Germany\\
Büro: Raum 2302 (Gebäude H)\\
\\
orcid.org/0000-0001-7348-0146
===== Offene Abschlussarbeiten =====
//Zur Zeit sind keine Abschlussarbeiten offen//
===== Offene Hiwistellen =====
//Zur Zeit sind keine Hiwistellen offen//
\\
===== Lehre =====
| **Semester** | **Titel** | **Art** |
| Wintersemester 15/16 | [[lehre:wise1516:formale_methoden]] | V |
| Wintersemester 16/17 | [[lehre:wise1617:formale_methoden]] | V |
| ::: | [[lehre:wise1617:formal]]\\ (1 Thema) | S |
| Sommersemester 17 | [[lehre:sose17:nxtprogrammierung]] | P |
| ::: | [[lehre:sose17:formal]]\\ (1 Thema) | S |
| Wintersemester 17/18 | [[lehre:wise1718:formale_methoden_fuer_steuerungssoftware]] | V |
| ::: | [[lehre:wise1718:formal]]\\ (1 Thema) | S |
| Sommersemester 18 | [[lehre:sose18:formal]]\\ (1 Thema) | S |
| Wintersemester 18/19 | [[lehre:wise1819:formale_methoden_fuer_steuerungssoftware]] | V |
| ::: | [[lehre:wise1819:formal]]\\ (2 Themen) | S |
| ::: | [[lehre:wise1819:etes]]\\ (1 Thema) | PS |
| Sommersemester 19 | [[lehre:sose19:seminar]]\\ (1 Thema) | S |
| ::: | [[lehre:sose19:proseminar]]\\ (2 Themen) | PS |
| Wintersemester 19/20 | [[lehre:wise1920:formale_methoden_fuer_steuerungssoftware]] | V |
| ::: | [[lehre:wise1920:seminar]]\\ (2 Themen) | S |
| ::: | [[lehre:wise1920:proseminar]]\\ (3 Themen) | PS |
| Wintersemester 20/21 | [[lehre:wise2021:formale_methoden_fuer_steuerungssoftware]] | V |
| Wintersemester 21/22 | [[lehre:wise2122:formale_methoden_fuer_steuerungssoftware]] | V |
| Wintersemester 22/23 | [[lehre:wise2223:formale_methoden_fuer_steuerungssoftware]] | V |
===== Publikationen =====