Teaching activities Frank Heitmann

Teaching activities

Lectures

SoSe 2016	Formal Foundations of Informatics (FGI 1): Logic, Automata, Formal Languages and Computability
WiSe 2015/16	Formal Foundations of Informatics 3 (FGI 3): Logic and Semantic of Programms
WiSe 2015/16	Algorithms and Data Structures
SoSe 2015	Formal Foundations of Informatics (FGI 1): Logic, Automata, Formal Languages and Computability
SoSe 2014	Specification and Verification (Master class)
SoSe 2014	Formal Foundations of Informatics (FGI 1): Logic, Automata, Formal Languages and Computability
WiSe 2010/11	Algorithms and Data Structures

Projects

SoSe 2015	Algorithm Engineering
SoSe 2009	Specification and Analysis of Distributed Systems (Modul IP13)

Seminars

WiSe 2015/16	Seminar FGI 3: Logic and Semantic of Programms
WiSe 2013/14	Seminar FGI 3: Logic and Semantic of Programms
WiSe 2013/14	Cryptocomplexity
SoSe 2011	Complexity: Logics, Automata, and Games (Modul IP12 / SSE-IP16)

Proseminar

SoSe 2016

Proseminar Pearls of Algorithms

Exercises

SoSe 2016	FGI 1 (sólo en Alemán)
SoSe 2014	FGI 1 (sólo en Alemán)
SoSe 2013	FGI 1 (sólo en Alemán)
WiSe 2012/13	Algorithms and Data Structures (AD) (sólo en Alemán)
SoSe 2012	FGI 1 (sólo en Alemán)
WiSe 2010/11	Algorithms and Data Structures (AD) (sólo en Alemán)
SoSe 2010	FGI 1 (sólo en Alemán)
WiSe 2009/10	Algorithms and Data Structures (AD) (sólo en Alemán)
WiSe 2008/09	Algorithms and Data Structures (AD) (sólo en Alemán)
SoSe 2008	FGI 1 (sólo en Alemán)

Tutorials

SoSe 2015	Formal Foundations of Informatics 1 (FGI 1)
SoSe 2014	Formal Foundations of Informatics 1 (FGI 1)
WiSe 2012/13	Formal Foundations of Informatics 2 (FGI 2)
SoSe 2010	Formal Foundations of Informatics (FGI 1): Logic, Automata, Formal Languages and Computability
WiSe 2008/09	Algorithms and Data Structures (AD)

Other

WiSe 2009/10

Math Preparation Course for Students of Computing in Science (CiS)