Home // SnT // People // Gergely Bana

Gergely Bana

Gergely Bana

Research associate

Faculty or Centre Interdisciplinary Centre for Security, Reliability and Trust
Postal Address Université du Luxembourg
Maison du Nombre
6, Avenue de la Fonte
L-4364 Esch-sur-Alzette
Campus Office MNO, E02 0235-010
Email
Telephone (+352) 46 66 44 6004
Fax (+352) 46 66 44 36004

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.

Last updated on: Wednesday, 26 July 2017