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

Heiko Mantel is a full professor for Computer Science at TU Darmstadt.

He worked as a researcher at the German Research Center for Artificial Intelligence (DFKI) in Saarbrucken and received his Ph.D. from Saarland University in 2003. Before joining TU Darmstadt, he was a post-doctoral researcher at ETH Zurich (2003-2005) and an assistant professor at RWTH Aachen (2005-2007). Heiko Mantel spent extended research stays at Chalmers University, Cornell University, and Harvard University. He is a principal investigator of the Center for Advanced Security Research Darmstadt (CASED), the collaborative research center CROSSING, and the European Center for Security by Design (EC-SPRIDE). Since 2010, he leads the national research initiative Reliably Secure Software Systems (RS3) funded by the German Research Association (DFG).

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
  • CROSSING Project E2: Secure Refinement of Cryptographic Algorithms
    funded by the German Research Foundation (DFG) in the Collaborative Research Center CROSSING
  • 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 programme
complete list of projects
 
A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang