Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

--- lehrstuhl:mitarbeiter:schlich [2009/08/07 11:37]
schlich
+++ lehrstuhl:mitarbeiter:schlich [2009/09/21 17:59]
schlich
@@ Zeile 34: / Zeile 34: @@
 \\
-/*===== Neuigkeiten =====
+/*
+===== Neuigkeiten =====
-Ich bin vom 03.07. bis zum 13.07.2009 im Urlaub. In dringenden Fällen können Sie Herrn [[:lehrstuhl:mitarbeiter:kamin|Kamin]] kontaktieren.
+Ich bin bis zum 13.09.2009 im Urlaub. In dringenden Fällen können Sie Herrn [[:lehrstuhl:mitarbeiter:brauer|Brauer]] kontaktieren.
 */
@@ Zeile 48: / Zeile 49: @@
 Meinen Doktortitel habe ich im Juni 2008 von der RWTH Aachen erhalten. Der Titel meiner Dissertation lautet "Model Checking of Software for Microcontrollers". Meine Diplomarbeit habe ich am Lehrstuhl für Software-Technologie der Universität Dortmund geschrieben. Der Titel meiner Diplomarbeit ist "Konzeption und Realisierung eines Werkzeugs zur Unterstützung der Test-Driven-Developments".\\
-===== Research Interests =====
+===== Forschungsinteressen =====
-  * Formal methods
+  * Formale Methoden
-    * Software model checking
+    * Software Model-Checking
-    * Static analysis
+    * Statische Analyse
-    * Abstract interpretation
+    * Abstrakte Interpretation
-  * Embedded Software
+  * Eingebettete Software
-    * Assembly code
+    * Assembler-Code
-    * C code
+    * C-Code
-  * Microcontroller
+  * Mikrocontroller
-  * Programmable Logic Controller
+  * Speicherprogrammierbare Steuerungen
 ===== Publikationen =====