====== Dimitri Bohlender, M.Sc. RWTH ======
~~NOTOC~~
~~NOCACHE~~

===== Contact =====

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

Research associate\\
\\

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

\\
Address: Ahornstr. 55, 52074 Aachen, Germany\\
Office: Room 2302 (Building H, 3rd floor)\\

\\
Email: bohlender[at]embedded[dot]rwth-aachen[dot]de\\
Web: [[https://bohlender.pro|bohlender.pro]]

===== Open theses =====

At the moment, no explicitly formulated, open topics are available. However, if you are interested in formal methods, we can meet up and draft a suitable bachelor's or a master's thesis topic. Your own suggestions are welcome as well.
\\
\\


===== Teaching =====
^Semester              ^Title                   ^Type       ^
| 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]] |    L     |
| :::      | [[lehre:wise1819:formal]]           |    S     |
| SS 18    | [[lehre:sose18:formal]]             |    S     |
| WS 17/18 | [[lehre:wise1718:formale_methoden_fuer_steuerungssoftware]] |    L     |
| :::      | [[lehre:wise1718:formal]]           |    S     |
| SS 17    | [[lehre:sose17:formal]]             |    S     |
| WS 16/17 | [[lehre:wise1617:formale_methoden]] |    L     |
| SS 16    | [[lehre:sose15:formal]]             |    S     |
| WS 15/16 | [[lehre:wise1516:formale_methoden]] |    L     |
| :::      | [[lehre:wise1516:formal]]           |    S     |
| SS 15    | [[lehre:sose15:formal]]             |    S     |
===== Publications =====

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