Department of Computer Science
Modeling and Analysis of Information Systems
Heiko Mantel has been professor for Computer Science at TU Darmstadt since 2007. Since 2010, he has been the scientific coordinator and speaker of the German national research initiative RS3 (Reliably Secure Software Systems) funded by the DFG (German Research Association). He has been a principle investigator of the DFG-funded collaborative research center CROSSING (Cryptography-Based Security Solutions: Enabling Trust in New and Next Generation Computing Environments), of CASED (Center for Advanced Security Research Darmstadt), of CRISP (Center for Research in Security and Privacy Darmstadt), and of EC-SPRIDE (European Center for Security by Design) since these centers have been founded.
Heiko Mantel served for the DFG as a reviewer for proposals of individual projects, graduate schools, and collaborative research centers. He also served as reviewer for the DAAD (German Academic Exchange Service), the NWO (Nederlandse Organisatie voor Wetenschppelijk Onderzoek), the Studienstiftung des deutschen Volkes (German National Academic Foundation), and the Swedish Foundation for Strategic Research. He is on the editorial board of IJIS (Springer's International Journal on Information Security), was on the program committees of many international and national conferences, and served as reviewer of numerous conference and journal submissions.
Heiko Mantel's main research focus is on information security and on concurrency. Most of his research projects have been motivated by a need for more trustworthy solutions. His research spectrum ranges from theoretical foundations over methods and tools to applications in the real world.
Mission statement on information security research
"I think that many aspects of information security are still in need of better foundations. Personally, I am interested in foundations that have a clearly identifiable potential for applications - today or in the future - for instance for implementing tools that provide better security analysis or better security engineering support. I am also interested in foundations that can be used as thinking tools to ease navigation and to reduce conceptual complexity in problem solving. It is well known that information security is not always compatible with abstractions commonly used in Computer Science, but we have not yet found abstractions that are right for information security and also for the other areas of Computer Science. This lack of suitable abstractions is complicating both, security analysis and security engineering."
Current third-party-funded research projects
Teachingcourses offered in earlier terms
Services at TU Darmstadt
Heiko Mantel served as a member of the Computer science department's strategy commission (2009-2011), as a delegate of the university's senate for faculty recruitment (Senatsbeauftragter in Berufungsfragen), as member of the council of the Computer Science department (Fachbereichsrat), and as chairman or member of multiple committees for hiring new faculty members in the Computer Science department. He coordinated the CASED distinguished lecture series (2009-2012), was a co-organizer of the Long-Term Security lecture series (2007), and was on the university chancellor's board for selecting the best Bachelor theses and Master theses in Computer Science, in Mathematics, and in Industrial Engineering and Management for the Datenlotsenpreis (2011-2015). He is a founding member of TU Darmstadt's research profile area in cyber security CYSEC (since 2015).
Selected organization of events and PC memberships
Selected recent publications