InteGrid

Ricardo Bessa was born in 1983 in Viseu, and received his Licenciado (5-years) degree from the Faculty of Engineering of the University of Porto, Portugal (FEUP) in 2006 in Electrical and Computer Engineering. In 2008, he received the M.Sc. degree in Data Analysis and Decision Support Systems from the Faculty of Economics of the University of Porto (FEP). He obtained his Ph.D. degree in the Doctoral Program in Sustainable Energy Systems (MIT Portugal) at FEUP in 2013. Currently, he is Coordinator of the Center for Power and Energy Systems at INESC TEC. He worked on several international projects such as the European Projects FP6 ANEMOS.plus, FP7 SuSTAINABLE, FP7 evolvDSO, Horizon 2020 UPGRID, Horizon 2020 InteGrid, H2020 Smart4RES, H2020 InterConnect, HORIZON ENERSHARE, and an international collaboration with Argonne National Laboratory for the U.S. Department of Energy. At the national level, he participated in the development of renewable energy forecasting systems and consultant services about energy storage and AI. Associate Editor of IEEE Transactions on Sustainable Energy and received the ESIG Excellence Award in 2022. He is co-authors of more than 60 journal papers and 120 conference papers, and IEEE Senior Member.

Master of Science and Doctor of Philosophy in Industrial Engineering and Management by FEUP.

Head of the Research Center for Industrial Engineering and Management from INESC TEC Laboratório Associado.

Assistant Professor at the Department of Industrial Engineering and Management at FEUP.

Co Founder of LTPlabs - consultancy company that applies advanced analytical methods to help make better complex decisions.

Specialist in supply chain planning with an emphasis on food products. He was Supply Chain Analyst at Total Raffinage Marketing (França). Researcher/Consultant in several projects related to Operations Management and supported by different types of entities.

Author of several publications in international journals in the field of Operations Research (for example, International Journal of Production Economics, Industrial Engineering and Chemistry Research, Computers and Chemical Engineering, Interfaces) - Google citation profile.

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.