Miguel Correia
President Of The Executive Committee at INESC-ID
Lisbon, Lisbon, Portugal
Summary
👤
Senior🎓
Top SchoolMiguel Correia is a Full Professor and senior researcher specializing in cybersecurity and dependability for distributed systems, currently serving as President of the Executive Committee at INESC-ID and Professor Catedrático at Instituto Superior Técnico, Universidade de Lisboa. He combines academic leadership—recently heading IST’s Computer Science and Engineering department—with active European policy engagement as Portugal’s representative to the European Blockchain Partnership. With a PhD and habilitation, more than 200 publications, and senior IEEE membership, his work spans fault tolerance across blockchain, cloud and mobile contexts and has driven multiple EU research projects. Beyond research, he brings practical impact through board roles (e.g., DNS.PT) and startup science coordination, blending rigorous theoretical depth with governance and technology-transfer experience.
9 years of coding experience
24 years of employment as a software developer
PhD Computer Science and Engineering, PhD Computer Science and Engineering at University of LisbonMSc Electrotechnical and Computing Engineering, MSc Electrotechnical and Computing Engineering at Universidade Técnica de LisboaAgregação / Habilitation Computer Science and Engineering, Agregação / Habilitation Computer Science and Engineering at Instituto Superior Técnico
Github Skills (11)
blockchain7
statement4
css1
javascript1
multipath1
openssl1
identity-management1
cryptography1
tcp1
react1
access-control1
Programming languages (4)
Github contributions (5)
QualiChain/consortium
Mar 2020 - Dec 2021
Modules for HEIs to add certificates to the blockchain, for recruiters to verify them, and for consortium governance.
Contributions:48 commits, 3 PRs, 7 pushes in 1 year 9 months
blockchain
tecnico-sec/Kathara-VPN
Apr 2022 - Apr 2026
Contributions:28 pushes in 3 years 11 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.