Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung Nächste Überarbeitung Beide Seiten der Revision | ||
|
lehrstuhl:mitarbeiter:schlich [2009/08/21 09:54] schlich |
lehrstuhl:mitarbeiter:schlich [2010/01/27 18:43] schlich |
||
|---|---|---|---|
| Zeile 1: | Zeile 1: | ||
| ====== Dr.rer.nat. Bastian Schlich ====== | ====== Dr.rer.nat. Bastian Schlich ====== | ||
| \\ | \\ | ||
| + | {{:lehrstuhl:mitarbeiter:schlich.jpg?150|}}\\ | ||
| + | \\ | ||
| + | schlich[at]embedded[dot]rwth-aachen[dot]de\\ | ||
| + | |||
| /* | /* | ||
| {| | {| | ||
| Zeile 6: | Zeile 10: | ||
| || {{:lehrstuhl:mitarbeiter:schlich.jpg|}} | || {{:lehrstuhl:mitarbeiter:schlich.jpg|}} | ||
| || | || | ||
| + | |||
| Post-Doktorand\\ | Post-Doktorand\\ | ||
| Gruppenleiter der Gruppe Formale Verifikation\\ | Gruppenleiter der Gruppe Formale Verifikation\\ | ||
| Zeile 18: | Zeile 23: | ||
| Addresse: Ahornstr. 55, 52074 Aachen | Addresse: Ahornstr. 55, 52074 Aachen | ||
| |} | |} | ||
| - | */ | ||
| {{:lehrstuhl:mitarbeiter:schlich.jpg?150|}}\\ | {{:lehrstuhl:mitarbeiter:schlich.jpg?150|}}\\ | ||
| \\ | \\ | ||
| Zeile 25: | Zeile 29: | ||
| \\ | \\ | ||
| Wenn ich eine Email nicht innerhalb einer vertretbaren Zeit beantworte, melden Sie sich bitte telefonisch bei mir. Es kann sein, dass Ihre Email automatisch von unserem Spam-Filter gelöscht wurde.\\ | Wenn ich eine Email nicht innerhalb einer vertretbaren Zeit beantworte, melden Sie sich bitte telefonisch bei mir. Es kann sein, dass Ihre Email automatisch von unserem Spam-Filter gelöscht wurde.\\ | ||
| + | \\ | ||
| + | Sprechstunde: Dienstags 13:00 - 14:00 (bitte Termin per Email vereinbaren)\\ | ||
| \\ | \\ | ||
| Email: schlich[at]embedded[dot]rwth-aachen[dot]de\\ | Email: schlich[at]embedded[dot]rwth-aachen[dot]de\\ | ||
| Zeile 37: | Zeile 43: | ||
| Ich bin bis zum 13.09.2009 im Urlaub. In dringenden Fällen können Sie Herrn [[:lehrstuhl:mitarbeiter:brauer|Brauer]] kontaktieren. | Ich bin bis zum 13.09.2009 im Urlaub. In dringenden Fällen können Sie Herrn [[:lehrstuhl:mitarbeiter:brauer|Brauer]] kontaktieren. | ||
| + | */ | ||
| ===== Persönlich ===== | ===== Persönlich ===== | ||
| Zeile 48: | Zeile 54: | ||
| 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".\\ | 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".\\ | ||
| - | ===== Forschungsinteressen ===== | ||
| - | * Formale Methoden | ||
| - | * Software Model-Checking | ||
| - | * Statische Analyse | ||
| - | * Abstrakte Interpretation | ||
| - | * Eingebettete Software | ||
| - | * Assembler-Code | ||
| - | * C-Code | ||
| - | * Mikrocontroller | ||
| - | * Speicherprogrammierbare Steuerungen | ||
| ===== Publikationen ===== | ===== Publikationen ===== | ||
| Zeile 67: | Zeile 63: | ||
| ==== Bachelor-, Master- und Diplomarbeiten ==== | ==== Bachelor-, Master- und Diplomarbeiten ==== | ||
| - | |||
| - | Wer Interesse hat, eine Abschlussarbeit im Bereich von [mc]square zu schreiben, kann sich gerne bei mir melden oder die Themen ansehen die [[:lehre:abschlussarbeiten|hier]] beschrieben sind. | ||
| - | |||
| - | === Laufend === | ||
| - | |||
| - | === Abgeschlossen === | ||
| * [[:lehre:abschlussarbeiten:model_checking_von_anweisungslisten-prgrammen_fuer_speicherprogrammierbare_steuerung_mit_hilfe_von_mc_square]] (Jörg Wernerus) | * [[:lehre:abschlussarbeiten:model_checking_von_anweisungslisten-prgrammen_fuer_speicherprogrammierbare_steuerung_mit_hilfe_von_mc_square]] (Jörg Wernerus) | ||