Prof. Dr.-Ing. Heiko Mantel

H. Mantel
Office: S2|02 E317
Phone: +49 6151 16-5226 (secretary)
+49 6151 16-6651
Fax: +49 6151 16-5326
Mail: LASTNAMEatmais.informatik.tu-darmstadt.de

TU Darmstadt

Department of Computer Science

Modeling and Analysis of Information Systems

Hochschulstraße 10

D-64289 Darmstadt

Germany

I joined the faculty of the Computer Science Department at the TU Darmstadt in April 2007.

Before moving to Darmstadt, I led the Security Engineering group at the RWTH Aachen as a Juniorprofessor (08/'05-03/'07).  At the ETH Zurich, I spent almost two years as a postdoctoral researcher in David Basin's Information Security Group (10/'03-07/'05).  In Saarbruecken, I worked for several years at the German Research Center for Artificial Intelligence (DFKI GmbH) as a researcher in Joerg Siekmann's Formal Methods Group (12/'96-09/'03).  During this time, I also spent extended research stays at Chalmers University in Gothenborg, Sweden and at Cornell University in Ithaca, USA.  Earlier in my life, I enjoyed studying Computer Science at the TU Darmstadt and at the University of Colorado at Boulder.

Teaching

Publications

complete list of publications

Recent and Upcoming Services to the Scientific Community

complete list of services to the scientific community

Current and Upcoming Research Projects

  • CASED: Center for Advanced Security Research Darmstadt,
    Research Area "Secure Data"

    funded within the "Landes-Offensive zur Entwicklung Wissenschaftlich-ökonomischer Exzellenz" by the Land Hessen
  • CASED: Center for Advanced Security Research Darmstadt,
    Research Area "Secure Services"

    funded within the "Landes-Offensive zur Entwicklung Wissenschaftlich-ökonomischer Exzellenz" by the Land Hessen
  • EC-SPRIDE: European Center for Security and Privacy by Design
    funded by the German Federal Ministry of Education and Research (BMBF)
  • FM-SecEng: Formal Methods for Security Engineering
    funded by the German Research Foundation (DFG) in the Computer Science Action Program (Aktionsplan Informatik)
  • RS3: Reliably secure software systems (Zuverlässig sichere Softwaresysteme)
    funded as a priority programme by the German Research Foundation (DFG)
  • RSCP: Reliable Security for Concurrent Programs
    funded by the German Research Foundation (DFG) in the RS3 Program
complete list of projects
 
A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang