Dipl.-Inf. Nils Erik Flick

Teaching / Lehre

Winter Term 2012 / 2013

FGI-2 Montags https://www.informatik.uni-hamburg.de/TGI/lehre/vl/WS1213/FGI2/ (bitte immer aktuelle Hinweise beachten!)

Winter Term 2011 / 2012

FGI-3 Seminar Logik und Semantik von Programmen (mit Tobias Betz, Leiter Prof. Dr. Rüdiger Valk)

Past

Exercise courses / Übungen:
FGI-1 (Formale Grundlagen der Informatik)
FGI-2 (Modellierung und Analyse paralleler und verteilter Systeme)