Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

--- lehrstuhl:mitarbeiter:biallas [2010/04/08 15:06]
brauer angelegt
+++ lehrstuhl:mitarbeiter:biallas [2013/07/18 14:29]
biallas [Über mich]
@@ Zeile 1: / Zeile 1: @@
-====== Sebastian Biallas ======
+====== 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)\\
+\\
-Tel. +49 241 80 21158
+**Sprechstunde: ** nach Vereinbarung
-Fax +49 241 80 22150
+|}
+\\
+\\
+===== Über mich =====
+Ich bearbeite das DFG Projekt "Verifikation von SPS-Programmen mittels Model-Checking und statischer Analyse".
+Speicherprogrammierbare Steuerungen (SPSen) sind Steuerungscomputer zur Automatisierung, Regelung und Steuerung von großtechnische Anlagen und Maschinen.
+In diesem Projekt geht es darum, mittels formaler Methoden Fehler in SPS-Programmen zu finden oder zu beweisen, dass sie ihre Spezifikation erfüllen.
+Insbesondere ist es dazu nötig, geeignete Abstraktion-Techniken zu entwickeln, dies erlauben, Berechnungsschritte auf einer großen Menge von Werten gleichzeitig auszuführen.
+Erst so ist es möglich, die Analysen auf größere SPS-Programme anzuwenden.
+\\
+\\
+Mein Lebenslauf ist {{: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 =====
+==== Offen ====
+  *
+==== Laufend ====
+  *
+==== Abgeschlossen ====
+  * S7 Simulator für [mc]square
+  * Modulare und Boolesche Abstraktion von SPS-Programmen
-Adresse: Ahornstr. 55, 52074 Aachen, Germany
-Büro: Raum 2325 (Gebäude H)