Meet ApplyKite Twin, the application assistant that learns with you
Meet your Twin, it learns with you
Your Twin learns with you
Launch week codes:30% off annual Pro20% off monthly Pro
Ends in00h00m00s
Ends in00h00m00s
Manuel Barbosa
Professor Associado
PortugalResearch Interests
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.
Explore related searches
About
Manuel Barbosa is an Associate Professor at the Universidade do Porto, Faculdade de Ciências, in Portugal. His research focuses on formal verification, with recent articles addressing topics such as implementation correctness in X-Wing, adversarial complexity, and decentralized privacy-preserving proximity tracing. His contributions significantly advance the field of computer science, particularly in areas related to security and privacy in distributed systems.
Articles (12)
Year:
2026
Year:
2026
Year:
2025
Year:
2025
Year:
2025
Year:
2025
Year:
2025
Year:
2025
Year:
2024
Year:
2023
Year:
2023
Year:
2022
Collaborators (8)
João Diogo Duarte
Assistente Convidado (Teaching assistant)
University of Porto
François Dupressoir
Academic , Associate Professor in Cryptography
University of Bristol
Andreas Hülsing
Eindhoven University of Technology
José Pereira
Associate Professor
University of Minho
José Bacelar Almeida
Associate Professor
University of Minho
Gilles Barthe
Research Professor
IMDEA Software
Stanislaw Jarecki
Professor
University of California, Irvine
Adrien Koutsos
Inria Centre de Recherche de Paris
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.