Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

--- lehrstuhl:mitarbeiter:biallas [2010/04/28 11:00]
biallas
+++ lehrstuhl:mitarbeiter:biallas [2011/11/17 17:51]
biallas [Über mich]
@@ Zeile 1: / Zeile 1: @@
 ====== Dipl.-Inform. Sebastian Biallas ======
+~~NOTOC~~
+~~NOCACHE~~
+===== Kontakt =====
-biallas[at]embedded[dot]rwth-aachen[dot]de\\
+{|
+|-
+||{{:lehrstuhl:mitarbeiter:biallas.jpg|}}
+||
+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)
+Büro: Raum 2325 (Gebäude H)\\
+\\
+**Sprechstunde: ** nach Vereinbarung
+|}
+\\
+\\
+===== Über mich =====
+Ich bearbeitet das DFG Projekt "Verifikation von SPS-Programmen mittels Model-Checking und statischer Analyse".
+In diesem Projekt geht es darum, geeignete Abstraktion-Techniken zu finden, dies erlauben Model-Checking und statische Analyse auf SPS-Programme anzuwenden und es so ermöglichen Fehler im Programm zu finden.
+\\
+\\
+Mein Lebenslauf ist {{:en:lehrstuhl:mitarbeiter:biallas:cv_biallas.pdf|hier}} erhältlich.
+===== Publikationen =====
+<BIBTEX: file=publikationen style=I11 sort=timestamp filter=Biallas referenz=conference>
+===== Lehre =====
+==== Vorlesungen ====
+  * Wintersemester 10/11: [[:lehre:wise1011:technische_informatik]]
+  * Wintersemester 11/12: [[:lehre:wise1112:technische_informatik]]
+===== Diplom-, Bachelor- und Masterarbeiten =====
+==== In Bearbeitung ====
+  * [[:lehre:abschlussarbeiten:biallas_s7_simulator]]
+  * [[:lehre:abschlussarbeiten:biallas_fbs_simulator]]