Reliably secure software systems

• Heiko Mantel

  Heiko Mantel studied Computer Science at the Technische Universität Darmstadt and at the University of Colorado at Boulder. He worked as a researcher at the German Research Center for Artificial Intelligence (DFKI) and obtained his Ph.D. from Saarland University in 2003. After a post-doc position at ETH Zurich and an assistant professorship at RWTH Aachen, he moved back to Darmstadt to join the Computer Science department as professor in 2007. His research interests include formal methods, information security, concurrency, and foundations of software engineering. He has published in all of these areas, has served as a program committee member of leading international conferences, and has contributed to various research projects, both basic and applied ones. Since 2010, he is the scientific coordinator of the DFG priority program Reliably Secure Software Systems.

  Computer Science Department, Chair for Modeling and Analysis of Information Systems, TU Darmstadt, Hochschulstr. 10, D-64289 Darmstadt, Germany