Gergei Bana received his PhD in mathematics from the University of Pennsylvania in 2004. He has since then held several research and visiting professor positions in the US, Portugal, France and Japan. His primary research focus concerns verification of security protocols. More generally, he is interested in applications of logical techniques in computer science. Gergely joined the Applied Security and Information Assurance group (APSIA) headed by Prof. Peter Ryan. He will work on the design and verification of e-voting protocols.