Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

--- lehrstuhl:mitarbeiter:rakel [2017/04/05 10:57]
vanessen angelegt
+++ lehrstuhl:mitarbeiter:rakel [2018/02/19 11:30]
rakel [Lehre]
@@ Zeile 1: / Zeile 1: @@
-====== Stefan Rakel ======
+~~NOTOC~~
+~~NOCACHE~~
+====== Stefan Rakel, M.Sc. RWTH ======
+Wissenschaftlicher Mitarbeiter\\
+\\
+=== Kontakt ===
+rakel[at]embedded[dot]rwth-aachen[dot]de\\
+\\
+Tel. +49 241 80 21165\\
+Fax +49 241 80 22150\\
+\\
+Adresse: Ahornstr. 55, 52074 Aachen, Germany\\
+Büro: Raum 2322 (Gebäude H) \\
+\\
+===== Sprechstunde =====
+Nach Vereinbarung
+===== Lehre =====
+| **Semester**         | **Titel**                                | **Art** |
+| Sommersemester 17 | [[lehre:sose17:nxtprogrammierung]] | P |
+| Wintersemester 17/18 | [[lehre:wise1718:psp]] | P |
+| ::: | [[lehre:wise1718:mbt]] | S |
+| Sommersemester 18 | [[lehre:sose18:psp]] | P |
+===== Offene Abschlussarbeiten =====
+{{ :lehre:abschlussarbeiten:sr:gsn_editor.pdf |Goal Structuring Notation Editor}}\\
+{{ :lehre:abschlussarbeiten:171113_ba_ma_semantic_interpretation_with_logic.pdf | Semantische Interpretation einer kontrollierten Sprache mit mathematischer Logik}}\\
+{{ :lehre:abschlussarbeiten:171113_ba_ma_identification_of_contradictions.pdf | Methoden und Algorithmen zur Identifikation von Widersprüchen}}\\
+===== Laufende Abschlussarbeiten =====
+{{ :lehre:abschlussarbeiten:ba_ma_sr_pc_technical_assumptions_safety_goals.pdf | Formalisierung von Technical Assumptions und Safety Goals}}\\
+{{ :lehre:abschlussarbeiten:pc:170915_ba_ma_evaluation_of_controlled_languages.pdf | Evaluation von kontrollierten Sprachen}}\\
+{{ :lehre:abschlussarbeiten:171113_ba_ma_grammatical_framework.pdf | Implementierung kontrollierter Sprachen im Grammatical Framework}}
+===== Publikationen =====
+<BIBTEX: file=publikationen style=i11 sort=year filter=Rakel>