====== Dr. rer. nat. Dimitri Bohlender ======
~~NOTOC~~
~~NOCACHE~~

===== Kontakt =====

{{ :lehrstuhl:mitarbeiter:bohlender.jpg?direct&200|}}

Wissenschaftlicher Mitarbeiter\\
\\

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

\\
Adresse: Ahornstr. 55, 52074 Aachen, Germany\\
Büro: Raum 2302 (Gebäude H, 3.OG)\\
\\
Email: bohlender[at]embedded[dot]rwth-aachen[dot]de\\
Web: [[https://bohlender.pro|bohlender.pro]]
===== Offene Abschlussarbeiten =====

Aktuell liegen keine ausformulierten, offenen Abschlussarbeiten vor. Bei Interesse an formalen Methoden können wir aber zusammen geeignete Themen für Bachelor- und Masterarbeiten ausarbeiten. Eigene Vorschläge sind ebenfalls möglich.
\\
\\


===== Lehre =====
^Semester              ^Titel                   ^Art       ^
| WS 19/20 | [[lehre:wise1920:proseminar]]       |    S     |
| SS 19    | [[lehre:sose19:seminar]]            |    S     |
| :::      | [[lehre:sose19:proseminar]]         |    S     |
| WS 18/19 | [[lehre:wise1819:formale_methoden_fuer_steuerungssoftware]] |    V     |
| :::      | [[lehre:wise1819:formal]]           |    S     |
| SS 18    | [[lehre:sose18:formal]]             |    S     |
| WS 17/18 | [[lehre:wise1718:formale_methoden_fuer_steuerungssoftware]] |    V     |
| :::      | [[lehre:wise1718:formal]]           |    S     |
| SS 17    | [[lehre:sose17:formal]]             |    S     |
| WS 16/17 | [[lehre:wise1617:formale_methoden]] |    V     |
| SS 16    | [[lehre:sose15:formal]]             |    S     |
| WS 15/16 | [[lehre:wise1516:formale_methoden]] |    V     |
| :::      | [[lehre:wise1516:formal]]           |    S     |
| SS 15    | [[lehre:sose15:formal]]             |    S     |
===== Publikationen =====

<BIBTEX: file=publikationen+bohlender_publikationen style=I11 sort=timestamp filter=Bohlender>