About the article
Andreas Lochbihler is working as a post-doctoral researcher in the information security group at ETH Zurich. His research focuses on deriving machine-checked implementations from protocol specifications such that the security properties of the models are preserved. Andreas graduated in computer science from the University of Passau in 2006, after having studied there and at the University of Edinburgh. He received his doctorate from the Karlsruhe Institute of Technology in 2012. Before joining ETH, he was a member of Gregor Snelting's groups at the University of Passau and the Karlsruhe Institute of Technology working on programming languages and static program analysis.
Institute of Information Security, ETH Zurich, Universitätstrasse 6, CH-8092 Zurich, Switzerland, Tel.: +41-44-6328470, Fax: +41-44-6321172
Published Online: 2014-03-31
Published in Print: 2014-04-28