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
Mário Pereira
Has grant
Professor Auxiliar
PortugalResearch Interests
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.
Explore related searches
About
Dr. Mário Pereira is an Assistant Professor at Universidade NOVA de Lisboa, Portugal. His research focuses on distributed systems, specifically in the area of verifying reliable network components using dependent separation protocols. Dr. Pereira's work contributes to advancements in distributed separation logic and has been published in recent scholarly articles.
Recent Grants
Grant: Close
Tipos avançados e máquinas virtuais verificadas para validar contratos digitais
Open Date: 2023-03-01
Close Date: 2024-08-31
Grant: Close
Cameleer -- Principles and Methods to Verify OCaml Programs
Open Date: 2020-06-01
Close Date: 2022-05-31
Grant: Close
DIADEM -- Deductive Verification Framework for Higher-order Programs
Open Date: 2020-01-01
Close Date: 2021-01-01
Grant: Close
LEAF, Learning Foundations of Computer Science using OCaml
Open Date: 2020-01-01
Close Date: 2021-01-01
Grant: Close
CLAY: An Environment for Live Construction of Trustworthy Software
Open Date: 2019-01-01
Close Date:
Articles (5)
Year:
2026
Year:
2026
Year:
2025
Year:
2025
Year:
2023
Collaborators (5)
Lars Birkedal
Aarhus University
Nuno Preguica
Professor (Professor Catedrático)
Faculdade de Ciências da Universidade de Lisboa
Jonas Kastberg Hinrichsen
Assistant Professor
Aalborg University
Carla Ferreira
Full Professor
Universidade de Aveiro
Stefania Dumbrava
Associate Professor
École Nationale Supérieure de Techniques Avancées
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.