Teaching by Heiko Mantel

So far, I taught 9 university-level courses, 2 invited scientific tutorials, 16 seminars, and assisted several undergraduate-level and graduate-level courses.

Teaching at the TU Darmstadt (since SS07)

Lectures

Formal Methods for Information Security (4+2), lecture with tutorial, SS07, SS08

Introduction to Foundations of Computing (IV 3), lecture with tutorial, WS07/08, WS08/09, WS09/10

Seminars

Analysis of Security Protocols (S2): WS08/09

Formal Specification (S2): WS07/08, WS08/09, WS09/10

Formal Specification and Analysis (S2): SS08

Network Security (S2): SS07

Proof-Carrying Code (S2): SS08

Probabilistic Models (S2): WS07/08

Static and Dynamic Program Analysis (S2): WS09/10

Labs

Formal Modeling (P4): WS07/08, WS08/09, WS09/10

Proof-Carrying Code (P4): SS08

Secure Information Systems (P4): WS09/10

Graduate Seminars

Formal Methods and Information Security/Theoretical Computer Science: SS07

Formal Methods (jointly with H. Veith and C. Walther): WS07/08, SS08, WS08/09, SS09, WS09/10

MAIS Graduate Seminar: WS09/10

Lecture Series (Ringvorlesung)

Long-Term Security: SS07 (jointly with Prof. Dr. J. Buchmann, Prof. Dr. C. Eckert)

CASED Distinguished Lectures Series: SS09, WS09/10

Teaching at the RWTH Aachen (WS05/06-WS06/07)

Lectures

Formal Methods for Information Security (3+1), lecture with tutorial, SS06

Seminars

Formal Methods for Information Security - Advanced Topics (S2): WS06/07

Quantitative Aspects of Computer Security (S2): WS06/07

Current Topics in Information Security (S2): WS05/06

Network Security (S2): WS05/06

Graduate Seminars

Security Engineering: WS05/06, SS06, WS06/07

Teaching at the ETH Zurich (WS03/04-SS05)

Lectures

Language-based Security (2+0), lecture without tutorial, SS05

Security Engineering (2+2), lecture with tutorial, WS04/05 (jointly with Dr. A. Pretschner)

Formal Methods for Information Security (2+2), lecture with tutorial, SS04(jointly with PD. Dr. L. Vigano)

Tutorials for Undergraduate-Level Lectures

Computer Science 3, exercises, undergraduate-level, WS03/04

Teaching at Saarland University

Seminars

Security Engineering (S2), undergraduate-level seminar, SS02 (jointly with Prof. J. Siekmann, PD. Dr. W. Stephan, R. Vogt)

Ausgewaehlte Themen der Computersicherheit (S2), WS00/01 (jointly with Dr. D. Hutter)

Adaequatheit Logischer Spezifikationsformalismen (S2), WS97/98, (jointly with S. Autexier)

Tutorials for Graduate-Level Lectures

Einfuehrung in die Methoden der KI, exercises, graduate-level, SS97