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/07/03 11:12] schlich |
lehrstuhl:mitarbeiter:schlich [2009/08/05 15:28] schlich |
||
|---|---|---|---|
| Zeile 1: | Zeile 1: | ||
| ====== Dr.rer.nat. Bastian Schlich ====== | ====== Dr.rer.nat. Bastian Schlich ====== | ||
| \\ | \\ | ||
| + | /* | ||
| {| | {| | ||
| |- | |- | ||
| Zeile 11: | Zeile 12: | ||
| \\ | \\ | ||
| Email: schlich[at]embedded[dot]rwth-aachen[dot]de\\ | Email: schlich[at]embedded[dot]rwth-aachen[dot]de\\ | ||
| - | Telefon +49 241 80 21158\\ | + | Telefon: +49 241 80 21158\\ |
| - | Fax +49 241 80 6 21158\\ | + | Fax: +49 241 80 6 21158\\ |
| \\ | \\ | ||
| Büro: Raum 2325 (Gebäude H)\\ | Büro: Raum 2325 (Gebäude H)\\ | ||
| Addresse: Ahornstr. 55, 52074 Aachen | Addresse: Ahornstr. 55, 52074 Aachen | ||
| |} | |} | ||
| + | */ | ||
| + | {{:lehrstuhl:mitarbeiter:schlich.jpg|}}\\ | ||
| \\ | \\ | ||
| - | ===== Neuigkeiten ===== | + | Post-Doktorand\\ |
| + | Gruppenleiter der Gruppe Formale Verifikation\\ | ||
| + | \\ | ||
| + | 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.\\ | ||
| + | \\ | ||
| + | Email: schlich[at]embedded[dot]rwth-aachen[dot]de\\ | ||
| + | Telefon: +49 241 80 21158\\ | ||
| + | Fax: +49 241 80 6 21158\\ | ||
| + | \\ | ||
| + | Büro: Raum 2325 (Gebäude H)\\ | ||
| + | Addresse: Ahornstr. 55, 52074 Aachen | ||
| - | 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. | + | \\ |
| + | /*===== 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. | ||
| + | */ | ||
| ===== 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.\\ | ||