Manuel Barbosa is an Associate Professor in Computer Science at the Faculty of Science in the University of Porto. He has been working in cryptography and formal verification of cryptography for more than 15 years. He is a regular contributor to the EasyCrypt and Jasmin projects and one of the coordinators of the formosa-crypto.org initiative.
