Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

Link zu dieser Vergleichsansicht

Beide Seiten der vorigen Revision Vorhergehende Überarbeitung
Nächste Überarbeitung
Vorhergehende Überarbeitung
Nächste Überarbeitung Beide Seiten der Revision
lehrstuhl:mitarbeiter:biallas [2015/01/27 13:54]
biallas [Kontakt]
lehrstuhl:mitarbeiter:biallas [2015/09/23 16:36]
biallas [Diplom-, Bachelor- und Masterarbeiten]
Zeile 2: Zeile 2:
 ~~NOTOC~~ ~~NOTOC~~
 ~~NOCACHE~~ ~~NOCACHE~~
-===== Kontakt ===== 
  
 +===== Über mich =====
 +Ich bin nach Berlin gezogen.
 {{  :​lehrstuhl:​mitarbeiter:​biallas2.jpg|}} {{  :​lehrstuhl:​mitarbeiter:​biallas2.jpg|}}
- 
-Wissenschaftlicher Mitarbeiter\\ 
 \\ \\
-Tel. +49 241 80 21158\\ 
-Fax +49 241 80 22150\\ 
 \\ \\
-Email: biallas[at]embedded[dot]rwth-aachen[dot]de\\ +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.
-Adresse: Ahornstr. 55, 52074 Aachen, Germany\\ +
-Büro: Raum 2325 (Gebäude H)\\ +
-\\ +
- +
-**Sprechstunde:​ ** nach Vereinbarung +
-===== Ü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. 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.+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. 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.+Ich bin weiterhin unter biallas[at]embedded[dot]rwth-aachen[dot]de erreichbar
 ===== Publikationen ===== ===== Publikationen =====
  
Zeile 37: Zeile 26:
   * Wintersemester 11/12: [[:​lehre:​wise1112:​technische_informatik]]   * Wintersemester 11/12: [[:​lehre:​wise1112:​technische_informatik]]
  
-===== Diplom-, Bachelor- und Masterarbeiten ===== 
- 
-==== Offen ==== 
-  * [[lehre:​abschlussarbeiten:​sb_static_analysis_plc_relational_domains]] 
  
-/* 
-==== Laufend ==== 
-  *  
-*/ 
  
-==== Abgeschlossen ==== 
-  * S7 Simulator für [mc]square 
-  * Modulare und Boolesche Abstraktion von SPS-Programmen