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 [2010/06/23 12:23]
biallas 		lehrstuhl:mitarbeiter:biallas [2011/10/17 19:54]
biallas [Kontakt]
Zeile 1: Zeile 1:
 ====== Dipl.-Inform. Sebastian Biallas ====== ====== Dipl.-Inform. Sebastian Biallas ======
 +~~NOTOC~~ 
 +~~NOCACHE~~
 ===== Kontakt ===== ===== Kontakt =====
 +
 +{|
 +|-
 +||{{:​lehrstuhl:​mitarbeiter:​biallas.jpg|}}
 +||
 Wissenschaftlicher Mitarbeiter\\ Wissenschaftlicher Mitarbeiter\\
 \\ \\
Zeile 10: Zeile 16:
 \\ \\
 Adresse: Ahornstr. 55, 52074 Aachen, Germany\\ Adresse: Ahornstr. 55, 52074 Aachen, Germany\\
-Büro: Raum 2325 (Gebäude H)+Büro: Raum 2325 (Gebäude H)\\ 
 +\\ 
 + 
 +**Sprechstunde:​ ** nach Vereinbarung 
 +|} 
 +\\ 
 +\\ 
 + 
 +===== Forschungsschwerpunkt ===== 
 +Verifikation von SPS-Programmen mittels Model-Checking und statischer Analyse 
 + 
 +===== Publikationen ===== 
 + 
 +<BIBTEX: file=publikationen style=I11 sort=timestamp filter=Biallas referenz=conference>​
  
 ===== Lehre ===== ===== Lehre =====
Zeile 16: Zeile 35:
 ==== Vorlesungen ==== ==== Vorlesungen ====
   * Wintersemester 10/11: [[:​lehre:​wise1011:​technische_informatik]]   * Wintersemester 10/11: [[:​lehre:​wise1011:​technische_informatik]]
 +  * Wintersemester 11/12: [[:​lehre:​wise1112:​technische_informatik]]
  
 ===== Diplom-, Bachelor- und Masterarbeiten ===== ===== Diplom-, Bachelor- und Masterarbeiten =====
  
-==== Offen ====+==== In Bearbeitung ​====
   * [[:​lehre:​abschlussarbeiten:​biallas_s7_simulator]]   * [[:​lehre:​abschlussarbeiten:​biallas_s7_simulator]]
 +  * [[:​lehre:​abschlussarbeiten:​biallas_fbs_simulator]]