Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Institut für Informatik

Disputation Herr André Frochaux

  • Wann 16.12.2016 von 13:15 bis 14:30
  • Wo 12489 Berlin, Rudower Chaussee 25, Humboldt-Kabinett
  • iCal

Im Rahmen seines Promotionsverfahrens verteidigt Herr André Frochaux seine Dissertation "Static Analysis of Monadic Datalog on Finite Labeled Trees".

 


 

Gutachter:

Prof. Dr. Nicole Schweikardt  -  Humboldt-Universität zu Berlin
Prof. Dr. Johannes Köbler  -  Humboldt-Universität zu Berlin
Prof. Dr. Isolde Adler  -  University of Leeds

Weitere Mitglieder:

Prof. Dr. Holger Schlingloff  -  Humboldt-Universität zu Berlin
PD Dr. Louchka Popova-Zeugmann  -  Humboldt-Universität zu Berlin
 

Alle Interessenten sind herzlich eingeladen.