Teaching by Heiko Mantel

So far, I taught 7 university-level courses, 2 invited scientific tutorials, 12 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

Seminars

Formal Specification and Analysis (S2), seminar, SS08

Proof-Carrying Code (S2), seminar, SS08

Formal Specification (S2), semainr, WS07/08

Probabilistic Models (S2), seminar, WS07/08

Network Security (S2), seminar, SS07

Labs

Proof-Carrying Code (P4), lab, SS08

Formal Modeling (P4), lab, WS07/08

Graduate Seminars

Formal Methods and Information Security/Theoretical Computer Science, SS07

Formal Methods (jointly with H. Veith and C. Walther), WS07/08, SS08

Lecture Series (Ringvorlesung)

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

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), seminar, WS06/07

Quantitative Aspects of Computer Security (S2), seminar, WS06/07

Current Topics in Information Security (S2), seminar, WS05/06

Network Security (S2), seminar, 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

Content managed by the Etomite Content Management System.