portfolio

Document

C++ compiler

About

Outcomes

Lab Head

Monishanker Halder
details

Members

Md Hasan — Dr. Arapinis received her PhD from the University of Paris XII. From 2008 to 2013 she was a Research Fellow with the School of Computer Science, University of Birmingham. She joined the School of Informatics, University of Edinburgh, as a Lecturer in September 2013. The vision of Dr. Arapinis' research is to propose logical foundations for automatic analysis of up-to-date electronic systems with respect to users’ security and privacy. Her work in the area of formal analysis of security is articulated around three axes: modelling protocols and their properties, developing tools and reduction results for the automatic verification of cryptographic protocols, and applying the developed tools and theories to real life systems
Ahnaf Rashid — Mina is a Chancellor's Fellow (UK equivalent of tenure-track assistant professor) at the School of Informatics, University of Edinburgh, and at Quantum Software Lab. Before that, she was a senior postdoctoral researcher at the University of Edinburgh and a recipient of the QUICS Hartree Fellowship from the Joint Center for Quantum Information and Computer Science in Maryland. She received her PhD from the University of Edinburgh under the supervision of Elham Kashefi and Myrto Arapinis, with the title "Unclonability and Quantum Cryptanalysis: From Foundations to Applications". She completed her M.Sc. and B.Sc. in physics at Sharif University of Technology, Tehran, Iran. Her research covers three main areas that link quantum information and quantum computing to cryptography and learning theory. More specifically she works on: quantum learning theory and machine learning, quantum cryptography, and quantum information and foundations. Her research area broadly covers In the big picture, her research aims to establish connections between diverse disciplines within computer science, physics, and mathematics, to help us tackle fascinating theoretical problems and explore innovative applications for both existing and future quantum technologies.