THEIA

I am a senior researcher at the Centre of Telecommunications and Multimedia of INESC TEC, where I am also the coordinator of the area of Optical and Electronic Technologies. I received the “Licenciatura” degree in 2006 and PhD degree in 2011, both in Electrical and Computer Engineering from the Faculty of Engineering of the University of Porto. Currently I am responsible for the conception and management of R&D projects, coordination of research students and fostering the valorization of research results through new contracts with industry. I was previously involved in teaching of RF/microwave engineering and optical communications as an invited assistant professor at the University of Porto. I am author/co-author of more than 50 publications in international conferences and journals with peer-review, and 1 european patent. I have coordinated several research projects and participated in several EU research projects. My main research interests include coherent optical systems, radio-over-fibre, RF/microwave devices and antennas, and underwater wireless power/communications.

I am an Associate Professor at the Department of Computer Science in the Faculty of Science of the University of Porto (DCC-FCUP) and a researcher at HASLab/INESC TEC. My research interests lie in Cryptography and Information Security and its intersection with Program Verification.

I hold a Ph.D. in Electrical and Electronic Engineering from the Newcastle University, an M.Sc. from the same University, and a degree in Electrical and Computer Engineering from the Faculty of Engineering of the University of Porto. In the past I have been a visiting researcher at the University of Bristol, IT Porto and École Normale Supérieure. Between 2023 and 2025 I was a research fellow at the Max Planck Institute for Security and Privacy.

I have been working on the development of high-assurance cryptographic implementations for the last 20 years, aiming to bridge the gap between theoretical security and real-world security. I am particularly interested in provable security and its interplay with the formal verification of cryptographic proofs and cryptographic software implementations.

For information on my research, projects and publications, please see my page at HASLab.

For information on my teaching activities, please see my institutional page at FCUP.

I am an associate professor at the Department of Computer Science of the Faculty of Science of the University of Porto and the coordinator of LIAAD , the Artificial Intelligence and Decision Support Lab of UP. LIAAD is a unit of INESC TEC (Laboratório Associado) since 2007. I am a PhD in Computer Science by U. Porto, MSc. on Foundations of Advanced Information Technology by the Imperial Collegeand BSc. in Applied Maths and Computer Science, currently Computer Science (U. Porto). My research interests are Data Mining and Machine Learning, in particular association rules, web and text intelligence and data mining for decision support. My past research also includes Inductive Logic Programming and Collaborative Data Mining. I lecture courses related to programming, information processing, data mining, and other areas of computing. While at the Faculty of Economics, where I stayed from 1996 to 2009, I launched, with other colleagues, the MSc. on Data Analysis and Decisison Support Systems, which I coordinated from 2000 to April 2008. I lead research projects on data mining and web intelligence. I was the director of the Masters in Computer Science at DCC-FCUP from June 2010 to August 2013. I co-chaired international conferences (ECML/PKD 2015, Discovery Science 2009, ECML/PKDD 05 and EPIA 01), workshops and seminars in data mining and artificial intelligence. I was Vice-President of APPIA the Portuguese Association for Artificial Intelligence.