• Home
• News
• Staff
  • Heiko Mantel
    • Publications
    • Services
    • Teaching
  • Elisabeth Kraft
  • Alexander Lux    (geb. Reinhard)
  • Dieter Schuster
  • Barbara Sprick
  • Henning Sudbrock
  • Matthias Brandt
  • Students
• Teaching
• Publications
• Projects
• Research
• Jobs
• Contact

Prof. Dr.-Ing. Heiko Mantel

 

Office	Piloty building, Room E319		Postal Address	TU Darmstadt Department of Computer Science Modeling and Analysis of Information Systems Hochschulstraße 10 D-64289 Darmstadt Germany
Phone	+49 (0)6151 16 5226 (secretary) +49 (0)6151 16 6651
Fax	+49 (0)6151 16 5326
E-mail	LASTNAME AT mais.informatik.tu-darmstadt.de

 

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

• courses offered in SS'08
  

complete list of teaching activities

Recent and Upcoming Publications

complete list of publications

Recent and Upcoming Services to the Scientific Community

• PC member, SAC'09: 24th ACM Symposium on Applied Computing, Track on Computer Security, Honolulu, Hawaii, USA, March 8-12, 2009.
• Co-Guest-Editor, Journal on Formal Aspects of Computing: Special Issue on Formal Modeling and Verification of Critical Systems, 2008.
  
• PC member, CCS'08: 15th ACM Conference on Computer and Communication Security, Alexandria, Virginia, USA, October 27-31, 2008.
  
• PC member, FMSE'08: 6thACM Workshop on Formal Methods for Security Engineering: From Specifications to Code, Hilton Alexandria Mark Center, Virginia, USA, October 27th, 2008.
  
• PC member, LPAR'08: 15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Doha, Qatar, November 22-27, 2008.
  
• PC member, PLAS'08: ACM SIGPLAN Third Workshop on Programming Languages and Analysis for Security, Tucson, Arizona, June 8, 2008.
  
• PC member, SAC'08: 23rd ACM Symposium on Applied Computing, Track on Computer Security, Fortaleza, Ceara, Brazil, March 16-20, 2008.
• PC member, Sicherheit'08: Sicherheit - Schutz und Zuverlässigkeit , Saarbrücken, Germany, April 2-4, 2008.
• PC member, VERIFY'08: 5th Verification Workshop, affiliated with IJCAR, Sydney, August 10-11, 2008.
• Co-Chair, FMSE'07 : 5th ACM Workshop on Formal Methods for Security Engineering: From Specifications to Code, George Mason University, USA, November 2, 2007. 
  
• PC member, CCS'07: 14th ACM Conference on Computer and Communication Security, Alexandria, Virginia, USA, October 29-November 2, 2007. 
  
• PC member, ESORICS'07: 12th European Symposium on Research in Computer Security, Dresden, Germany, September 24-26, 2007.
  
• PC member, SecCo'07: 5th International Workshop on Security Issues in Concurrency, affiliated with CONCUR 2007, Lisboa, Portugal, September 3, 2007. 
• PC member, VERIFY'07: 4th Verification Workshop, affiliated with CADE, Bremen, Germany,  July 15-16, 2007.   
• Co-Organizer, Dagstuhl Seminar 07091 on Mobility, Ubiquity, and Security, Dagstuhl, Germany, February 25 - March 2, 2007.
• Co-Chair & Co-Organizer, Verify'06: 3rd Verification Workshop, affiliated with FLoC/IJCAR, Seattle, USA, August 15-16, 2006.
  
• PC member, FMSE'06: 4thACM Workshop on Formal Methods for Security Engineering: From Specifications to Code, Johnson Center, George Mason University, Fairfax, Virginia, USA, November 3, 2006.
  
• PC member, ESORICS'06: 11th European Symposium On Research In Computer Security, Hamburg, Germany, September 18-20, 2006.
  
• PC member, ISC'06: 9th Information Security Conference, Samos Island, city of Pythagoras, Greece, August 30 - September 2, 2006.
  
• PC member, SAC'06: 21st ACM Symposium on Applied Computing, Track on Computer Security, Dijon, France, April 23-27, 2006.
• PC member, FMSE'05: 3rd ACM Workshop on Formal Methods for Security Engineering: From Specifications to Code, Alexandria , VA, USA, November 11, 2005.
• PC member, ESORICS'05: European Symposium on Research in Computer Security, Milan, Italy - September 14-16, 2005.
• PC member, Sicherheit'05: Sicherheit - Schutz und Zuverlässigkeit , Regensburg, Germany, April 5-8, 2005.
• PC member, SAC'05: 20th ACM Symposium on Applied Computing, Track on Computer Security, Santa Fe, New Mexico, USA, March 13-17, 2005.
• PC member, WITS'05: IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS Workshop on Issues in the Theory of Security, Long Beach, California, USA, January 10-11, 2005.

complete list of services to the scientific community

Current and Upcoming Research Projects

• FM-SecEng: Formal Methods for Security Engineering (DFG)
• Mobius: Mobility, Ubiquity and Security (EU)