Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

--- lehrstuhl:mitarbeiter:bohlender [2014/10/20 14:40]
simon angelegt
+++ lehrstuhl:mitarbeiter:bohlender [2018/01/10 13:51]
bohlender [Lehre]
@@ Zeile 1: / Zeile 1: @@
-====== Dimitri Bohlender, M.Sc. ======
+====== Dimitri Bohlender, M.Sc. RWTH ======
 ~~NOTOC~~
 ~~NOCACHE~~
@@ Zeile 5: / Zeile 5: @@
 ===== Kontakt =====
-{|
-|-
-||
 Wissenschaftlicher Mitarbeiter\\
 \\
-/*
-Tel. +49 241 80 TODO\\
+Tel. +49 241 80 21174\\
-Fax +49 241 80 TODO\\
+Fax +49 241 80 22150\\
-*/
 \\
 Email: bohlender[at]embedded[dot]rwth-aachen[dot]de\\
 \\
 Adresse: Ahornstr. 55, 52074 Aachen, Germany\\
-/*
+Büro: Raum 2325 (Gebäude H)\\
-Büro: TODO\\
-*/
+===== Offene Abschlussarbeiten =====
+Die folgende Liste ist ggf. nicht vollständig. Weitere Themenvorschläge für Bachelor- und Masterarbeiten können Sie auch direkt bei mir erfragen. Eigene Vorschläge sind ebenfalls möglich.
 \\
+\\
+  * Bachelor/Master: {{:lehre:db_plc_bmc.pdf|Bounded Model Checking of Programmable Logic Control Software}}
+===== Lehre =====
+^Semester              ^Titel                   ^Art       ^
+| WS 17/18 | [[lehre:wise1718:formale_methoden_fuer_steuerungssoftware]] |    V     |
+| SS 17    | [[lehre:sose17:formal]]             |    S     |
+| WS 15/16 | [[lehre:wise1516:formale_methoden]] |    V     |
+| SS 15    | [[lehre:sose15:formal]]             |    S     |
+===== Publikationen =====
-|}
+<BIBTEX: file=publikationen+bohlender_publikationen style=I11 sort=timestamp filter=Bohlender referenz=conference>