Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

--- lehrstuhl:mitarbeiter:biallas [2010/04/08 15:06]
brauer angelegt
+++ lehrstuhl:mitarbeiter:biallas [2015/09/23 16:36]
biallas [Diplom-, Bachelor- und Masterarbeiten]
@@ Zeile 1: / Zeile 1: @@
-====== Sebastian Biallas ======
+====== Dipl.-Inform. Sebastian Biallas ======
+~~NOTOC~~
+~~NOCACHE~~
+===== Über mich =====
+Ich bin nach Berlin gezogen.
+{{  :lehrstuhl:mitarbeiter:biallas2.jpg|}}
+\\
+\\
+Am Lehrstuhl habe ich das DFG Projekt "Verifikation von SPS-Programmen mittels Model-Checking und statischer Analyse" bearbeitet.
+Speicherprogrammierbare Steuerungen (SPSen) sind Steuerungscomputer zur Automatisierung, Regelung und Steuerung von großtechnischen 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, die es 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.
+\\
+\\
+Ich bin weiterhin unter biallas[at]embedded[dot]rwth-aachen[dot]de erreichbar.
+===== 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]]
-biallas[at]embedded[dot]rwth-aachen[dot]de
-Tel. +49 241 80 21158
-Fax +49 241 80 22150
-Adresse: Ahornstr. 55, 52074 Aachen, Germany
-Büro: Raum 2325 (Gebäude H)