CRCS welcomes its newest Visiting Scholar, Heiko Mantel, who is visiting from the Technische Universität Darmstadt.
Heiko joined the faculty of the Computer Science Department at the TU Darmstadt in April 2007.
Before moving to Darmstadt, Heiko led the Security Engineering group at the RWTH Aachen as a Juniorprofessor (08/'05-03/'07). At the ETH Zurich, he spent almost two years as a postdoctoral researcher in David Basin's Information Security Group (10/'03-07/'05). In Saarbruecken, he 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, Heiko also spent extended research stays at Chalmers University in Gothenborg, Sweden and at Cornell University in Ithaca, USA. Earlier in his life, he enjoyed studying Computer Science at the TU Darmstadt and at the University of Colorado at Boulder.
@HCRCS