Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Nächste Überarbeitung | Vorhergehende Überarbeitung Nächste Überarbeitung Beide Seiten der Revision | ||
lehrstuhl:mitarbeiter:biallas [2010/04/08 15:06] brauer angelegt |
lehrstuhl:mitarbeiter:biallas [2010/06/28 14:02] biallas |
||
---|---|---|---|
Zeile 1: | Zeile 1: | ||
- | ====== Sebastian Biallas ====== | + | ====== Dipl.-Inform. Sebastian Biallas ====== |
- | biallas[at]embedded[dot]rwth-aachen[dot]de | + | ===== Kontakt ===== |
+ | Wissenschaftlicher Mitarbeiter\\ | ||
+ | \\ | ||
+ | Tel. +49 241 80 21158\\ | ||
+ | Fax +49 241 80 22150\\ | ||
+ | \\ | ||
+ | Email: biallas[at]embedded[dot]rwth-aachen[dot]de\\ | ||
+ | \\ | ||
+ | Adresse: Ahornstr. 55, 52074 Aachen, Germany\\ | ||
+ | Büro: Raum 2325 (Gebäude H) | ||
- | Tel. +49 241 80 21158 | ||
- | Fax +49 241 80 22150 | ||
- | Adresse: Ahornstr. 55, 52074 Aachen, Germany | + | ===== Forschungsschwerpunkt ===== |
- | Büro: Raum 2325 (Gebäude H) | + | Verifikation von SPS-Programmen mittels Model-Checking und statischer Analyse |
+ | |||
+ | ===== Lehre ===== | ||
+ | |||
+ | ==== Vorlesungen ==== | ||
+ | * Wintersemester 10/11: [[:lehre:wise1011:technische_informatik]] | ||
+ | |||
+ | ===== Diplom-, Bachelor- und Masterarbeiten ===== | ||
+ | |||
+ | ==== Offen ==== | ||
+ | * [[:lehre:abschlussarbeiten:biallas_s7_simulator]] |