Hasso-Plattner-Institut
  
Hasso-Plattner-Institut
Prof. Dr. Holger Giese
  
 

Gruppe: Dr. Leen Lambers

E-Mail: sven.schneider(at)hpi.de

Akademischer Grad: Dipl.-Inform.

Telefon: (49-331) 5509 - 353

Raum: A-2.7

Forschungsthemen

  • Controller Synthesis for Discrete Event Systems (Supervisory Control; Hierarchical Control, Concurrent and Distributed Control)
  • Formal Verification (Isabelle/HOL)
  • Synthesis and Verification of Models
  • Graph Transformation (DPO style) and Category Theory