António Ravara

Current position: Associate Professor, Department of Computer Science, NOVA School of Science and Technology Degrees: PhD in Mathematics (Theoretical Computer Science) Main recent projects: - work-package leader of BehAPI (EU MSCA RISE, https://www.um.edu.mt/projects/behapi/, 2018-2023) - supervisor of MSCA RISE Individual Fellowship (2020-2022) - principal investigator of FCT PEX project Smarty (2023-2025) Guest editor of Thematic Special Issues on Behavioural Types For Programming Languages of the Journal of Logical and Algebraic Methods in Programming Recent membership of Program Committees: - 44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE'23, CORE B ranking) - 37th European Conference in Object-Oriented Programming (ECOOP'24, CORE A ranking) Supervisions: - 2 post-docs, 1 now a Researcher Associate at Oxford and the other is an Assistant Professor at the Department of Computer Science, NOVA School of Science and Technology - 1 concluded PhD and 2 ongoing Recent awards: - 3rd place in the Doctorates & Researchers Category of the 4th edition of INNCYBER INNOVATION HUB Call for Projects - 1st place in the MSc Category (supervisor) of the 3rd edition of INNCYBER INNOVATION HUB Call for Projects.