Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung | Nächste Überarbeitung Beide Seiten der Revision | ||
|
lehrstuhl:mitarbeiter:schlich [2009/05/05 10:44] brauer |
lehrstuhl:mitarbeiter:schlich [2009/06/08 13:13] schlich |
||
|---|---|---|---|
| Zeile 18: | Zeile 18: | ||
| \\ | \\ | ||
| === Personal === | === Personal === | ||
| - | \\ | ||
| I am a research assistant at the embedded software laboratory since April 2004. My research topic is the formal verification of software for embedded systems.\\ | I am a research assistant at the embedded software laboratory since April 2004. My research topic is the formal verification of software for embedded systems.\\ | ||
| \\ | \\ | ||
| Zeile 24: | Zeile 23: | ||
| \\ | \\ | ||
| I recieved my Doctoral degree in June 2008 from the RWTH Aachen University. The title of my Dissertation thesis is "Model Checking of Software for Microcontollers". I wrote my Diploma thesis at the chair of Software-Technology, University of Dortmund. The topic of the thesis is "Konzeption und Realisierung eines Werkzeugs zur Unterstützung des Test-Driven-Developments".\\ | I recieved my Doctoral degree in June 2008 from the RWTH Aachen University. The title of my Dissertation thesis is "Model Checking of Software for Microcontollers". I wrote my Diploma thesis at the chair of Software-Technology, University of Dortmund. The topic of the thesis is "Konzeption und Realisierung eines Werkzeugs zur Unterstützung des Test-Driven-Developments".\\ | ||
| - | \\ | + | |
| === Research Interests === | === Research Interests === | ||
| - | \\ | ||
| * formal verification | * formal verification | ||
| * software model checking | * software model checking | ||
| Zeile 32: | Zeile 30: | ||
| * software for embedded systems | * software for embedded systems | ||
| * software for microcontrollers | * software for microcontrollers | ||
| - | \\ | + | |
| === Publications === | === Publications === | ||
| - | \\ | ||
| ~~NOCACHE~~ | ~~NOCACHE~~ | ||
| <BIBTEX: file=publikationen style=I11 sort=year filter=schlich> | <BIBTEX: file=publikationen style=I11 sort=year filter=schlich> | ||
| + | |||
| + | |||