???global.info.a_carregar???
Integrated member of NOVA LINCS (Laboratory for Computer Science and Informatics) Group: Software Systems Research Topics: reliable and provably correct concurrent and distributed systems Google Scholar: https://scholar.google.pt/citations?user=HuxP2pUAAAAJ 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 (https://www.inncyberinnovationhub.com/general-8) Selected Publications (2021-2023): Hervé Paulino, Ana Almeida Matos, Jan Cederquist, Marco Giunti, João Matos, António Ravara: AtomiS: Data-Centric Synchronization Made Practical. Proc. ACM Program. Lang. 7(OOPSLA2): 116-145 (2023) https://dl.acm.org/doi/10.1145/3622801 João Mota, Marco Giunti, António Ravara: On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage (Experience Paper). ECOOP 2023: 40:1-40:29 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.40 Lorenzo Bacchiani, Mario Bravetti, Marco Giunti, João Mota, António Ravara: A Java typestate checker supporting inheritance. Sci. Comput. Program. 221: 102844 (2022) https://www.sciencedirect.com/science/article/pii/S0167642322000776?via%3Dihub José Duarte, António Ravara: Taming stateful computations in Rust with typestates. J. Comput. Lang. 72: 101154 (2022) Mário Pereira, António Ravara: Cameleer: A Deductive Verification Tool for OCaml. CAV (2) 2021: 677-689 https://link.springer.com/chapter/10.1007/978-3-030-81688-9_31
Read full resume ↓
Identification

Personal identification

Full name
António Ravara

Citation names

  • Ravara, António

Author identifiers

Ciência ID
6E1A-AC5F-7D16
ORCID iD
0000-0001-8074-0380
Google Scholar ID
HuxP2pUAAAAJ
Researcher Id
G-1667-2016
Scopus Author Id
8335501900

Knowledge fields

  • Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics

Languages

Language Speaking Reading Writing Listening Peer-review
English Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
French Intermediate (B1) Advanced (C1) Intermediate (B1) Intermediate (B1)
Education
Degree Classification
1996/03 - 2000/12
Concluded
 PhD in Mathematics, Theoretical Computer Science (Programa de Doutoramento em Matemática) (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Typing Non-Uniform Concurrent Objects" (THESIS/DISSERTATION)
 Aprovado (there were no grades)
Affiliation

Science

Category
Host institution 		Employer
2014 - Current Researcher (Research) Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal

Teaching in Higher Education

Category
Host institution 		Employer
2018/09/01 - Current Associate Professor (University Teacher) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2009/09/01 - 2018/08/31 Assistant Professor (University Teacher) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2001/01/01 - 2009/08/31 Assistant Professor (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal

Others

Category
Host institution 		Employer
1996/04/01 - 2000/12/31 Assistente (Teaching Assistant) Universidade de Lisboa Instituto Superior Técnico, Portugal
1992/09/01 - 1996/03/31 Assistente estagiário (Teaching Assistant) Universidade de Lisboa Instituto Superior Técnico, Portugal
Projects

Grant

Designation Funders
2016/08/01 - 2017/03/31 Behavioural inference for object-oriented languages
SFRH/BSAB/116441/2016
University of Glasgow, United Kingdom
 Fundação para a Ciência e a Tecnologia
Concluded

Contract

Designation Funders
2023/03/01 - 2024/08/31 Tipos avançados e máquinas virtuais verificadas para validar contratos digitais
2022.09138.PTDC
Universidade NOVA de Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Ongoing
2020/06/01 - 2022/05/31 Cameleer: Principles and Methods to Verify OCaml Programs
Grant ID 897873
Principal investigator
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
 Research Executive Agency
Ongoing
2018/03/01 - 2022/02/28 BEHAPI: Behavioural Application Program Interfaces
778233
Researcher
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
 Research Executive Agency
Ongoing
2018/09/01 - 2021/08/31 Controlo de Concorrência Distribuído Centrado no Dados
PTDC/CCI-COM/32166/2017
Associação para a Inovação e Desenvolvimento da FCT, Portugal

Instituto de Telecomunicações, Portugal
Fundação para a Ciência e a Tecnologia
Ongoing
2012/10 - 2016/10 Behavioural Types for Reliable Large-Scale Software Systems
COST Action IC1201
Vice-chair
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
Concluded
2012/03/20 - 2015/09/19 Propriedades de animação por via estática
PTDC/EIA-CCO/117513/2010
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal

Associação para a Inovação e Desenvolvimento da FCT, Portugal

Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2011/01/01 - 2013/12/31 Strategic Project - UI 527 - 2011-2012
PEst-OE/EEI/UI0527/2011
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2008/01/01 - 2008/06/30 BEHAVIOURAL TYPES FOR OBJECT-ORIENTED LANGUAGES
SFRH/BSAB/757/2007
 Fundação para a Ciência e a Tecnologia
Concluded
2005/07/01 - 2008/06/30 Sistemas de tipos espaciais e comportamentais
POSC/EIA/55582/2004
Universidade de Lisboa Instituto Superior Técnico, Portugal

Universidade de Lisboa Instituto Superior Técnico, Portugal

Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2002/03/01 - 2002/08/31 SEMÂNTICA DE OBJECTOS CONCORRENTES E MIGRANTES
SFRH/BPD/6782/2001
 Fundação para a Ciência e a Tecnologia
Concluded
Outputs

Publications

Book
  1. Hildebrandt, T.; Ravara, A.; Van Der Werf, J.M.; Weidlich, M.. Web services, formal methods, and behavioral types: 11th international workshop, WS-FM 2014 Eindhoven, The Netherlands, september 11-12, 2014 and 12th international workshop, WS-FM/BEAT 2015 Madrid, Spain, september 4-5, 2015 revised selected papers. 2016.
    10.1007/978-3-319-33612-1
  2. Hildebrandt, T.; Weidlich, M.; Ravara, A.; Van Der Werf, J.M.. Preface. 2016.
  3. Giunti, M.; Ravara, A.. Towards static deadlock resolution in the p-calculus. 2014.
    10.1007/978-3-319-05119-2_9
  4. Ravara, A.. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Foreword. 2009.
  5. Ravara, A.. Foreword. 2009.
  6. Boreale, M.; Bruni, R.; Caires, L.; De Nicola, R.; Lanese, I.; Loreti, M.; Martins, F.; et al. SCC: A service centered calculus. 2006.
  7. Vasconcelos, V.; Ravara, A.; Gay, S.; Vasconcelos, Vasco T.; Ravara, António; Gay, Simon. Session types for functional multithreading. 2004.
  8. Nestmann, U.; Ravara, A.. Semantics of objects as processes (SOAP). 1999.
    10.1007/3-540-46589-8_18
  9. Ravara, A.; Vasconcelos, V.. Behavioural types for a calculus of concurrent objects. 1997.
Book chapter
  1. António Ravara; Carla Ferreira; Hugo Filipe Mendes Torres Vieira. "Advanced Mechanisms for Service Combination and Transactions". edited by Wirsing Martin; Holzl Matthias, 302-325. Springer, 2012.
  2. Ravara, António; Vasconcelos, Vasco T.; Ravara, A.; Vasconcelos, V.T.. "Typing Non-uniform Concurrent Objects". In International Conference on Concurrency Theory (CONCUR 2000), 474-489. Springer Berlin Heidelberg, 2000.
    10.1007/3-540-44618-4_34
Conference paper
  1. Paulino, Hervé; Almeida Matos, Ana; Jan Cederquist; Ravara, António; João Matos; Hervé Paulino; Ana Almeida Matos; Marco Giunti; António Ravara. "AtomiS: Data-centric synchronization made practical". Paper presented in OOPSLA, 2023.
    Accepted • 10.1145/3622801
  2. Giunti, Marco; Paulino, Hervé; Ravara, António. "Anticipation of Method Execution in Mixed Consistency Systems". Paper presented in ACM/SIGAPP Symposium On Applied Computing, 2023.
    Published
  3. Pedro Barroso; Mário Pereira; António Ravara. "Leroy and Blazy Were Right". 2023.
    10.1007/978-3-031-25803-9_2
  4. Mota, João; Giunti, Marco; Ravara, António; João Mota; Marco Giunti; António Ravara; Mota, João; Ravara, António; Giunti, Marco. "On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage". 2023.
    https://doi.org/10.4230/LIPIcs.ECOOP.2023.40
  5. Artur Miguel Dias; Ravara, António; Simão Melo de Sousa. Corresponding author: Ravara, António. "Supporting FLAT Concepts in Learn-OCaml: Seeing is Believing; Programming is Understanding". Paper presented in OCaml Worshop, ICFP'2022, Ljubljana, Slovenia, 2022.
    Published
  6. José Duarte; António Ravara; Duarte, José Miguel Gonçalves; Duarte, José; Ravara, António. "Retrofitting Typestates into Rust". 2021.
    10.1145/3475061.3475082
  7. Mário Pereira; António Ravara. "Cameleer: A Deductive Verification Tool for OCaml". 2021.
    10.1007/978-3-030-81688-9_31
  8. João Mota; Marco Giunti; António Ravara. "Java Typestate Checker". Paper presented in COORDINATION, 2021.
    10.1007/978-3-030-78142-2_8
  9. Barroso, Pedro; Ravara, António; Pereira, Mário José Parreira. "Animated Logic: Correct Functional Conversion to Conjunctive Normal Form". Paper presented in Practical Aspects of Automated Reasoning 2020, Paris (virtual), 2020.
    Published
  10. Mario Bravetti; Adrian Francalanza; Iaroslav Golovanov; Hans Hüttel; Mathias S. Jakobsen; Mikkel K. Kettunen; António Ravara. "Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language". 2020.
    10.1007/978-3-030-64437-6_6
  11. Ferreira, Beatriz; Cederquist, Jan; Almeida Matos, Ana; Paulino, Hervé; Ravara, António. "Mechanization of a Type Systemfor Atomicity Analysis and its Type Safety". Paper presented in Inforum - Simpósio de Informática 2019, 2019.
    Published
  12. Patrícia Monteiro; João M. Lourenço; Ravara, António. "Uma análise comparativa de ferramentas de análise estática para deteção de erros de memória". Paper presented in INForum - Simpósio de Informática, Coimbra, 2018.
    Published
  13. Vasconcelos, C.; Ravara, A.. "From object-oriented code with assertions to behavioural types". 2017.
    10.1145/3019612.3019733
  14. Paulino, H.; Parreira, D.; Delgado, N.; Ravara, A.; Matos, A.. "From Atomic variables to data-centric concurrency control". 2016.
    10.1145/2851613.2851734
  15. Soares, P.; Ravara, A.; De Sousa, S.M.. "Revisiting concurrent separation logic and operational semantics". 2015.
    10.1109/PDP.2015.85
  16. Francalanza, Adrian; Giunti, Marco; Ravara, António; Francalanza, A.; Giunti, M.; Ravara, A.. "Unlocking blocked communicating processes". 2015.
    10.4204/EPTCS.188.4,title
  17. Gay, S.J.; Gesbert, N.; Ravara, A.. "Session types as generic process types". 2014.
    10.4204/EPTCS.160.9
  18. Mousavi, M.R.; Ravara, A.. "Foreword". 2011.
    10.4204/EPTCS.58
  19. António Ravara; Carla Ferreira. "Dynamic Recovering of Long Running Transactions". 2009.
    10.1007/978-3-642-00945-7
Edited book
  1. Ravara, António. Behavioural Types: from Theory to Tools. 2017.
    10.13052/rp-9788793519817
Journal article
  1. José Duarte; António Ravara. "Taming stateful computations in Rust with typestates". Journal of Computer Languages 72 (2022): https://novaresearch.unl.pt/en/publications/832b022b-c97f-4f65-a442-a03aa2a4350e.
    10.1016/j.cola.2022.101154
  2. Bacchiani, Lorenzo; Bravetti, Mario; Giunti, Marco; Mota, João; Ravara, António. "A Java typestate checker supporting inheritance". Science of Computer Programming 221 (2022): 102844. http://dx.doi.org/10.1016/j.scico.2022.102844.
    10.1016/j.scico.2022.102844
  3. Duarte, José; Ravara, António. "Taming stateful computations in Rust with typestates". (2022): http://hdl.handle.net/10362/144754.
    https://doi.org/10.1016/j.cola.2022.101154
  4. Mota, João; Ravara, António; Trindade, André. "Typestates to Automata and back: a tool". Electronic Proceedings in Theoretical Computer Science 324 (2020): 25-42. http://dx.doi.org/10.4204/eptcs.324.4.
    Published • 10.4204/eptcs.324.4
  5. Pedro Soares; António Ravara; Simão Melo de Sousa. "Revisiting concurrent separation logic". Journal of Logical and Algebraic Methods in Programming 89 (2017): 41-66. https://novaresearch.unl.pt/en/publications/455c2000-fa91-4399-8e99-351f7b833d92.
    10.1016/j.jlamp.2017.02.004
  6. Hans Hüttel; Ivan Lanese; Vasco T. Vasconcelos; Luis Caires; Mmarco Carbone; Pierre Malo Deniélou; Dimitris Mostrous; et al. "Foundations of session types and behavioural contracts". ACM Computing Surveys 49 1 (2016): https://novaresearch.unl.pt/en/publications/78464825-fcce-4d2a-9062-96d444b5d129.
    10.1145/2873052
  7. ter Beek, M.H.; Lisitsa, A.; Nemytykh, A.P.; Ravara, A.. "Automated verification of programs and Web systems". Journal of Logical and Algebraic Methods in Programming 85 5 (2016): 653-654. http://www.scopus.com/inward/record.url?eid=2-s2.0-84977605411&partnerID=MN8TOARS.
    10.1016/j.jlamp.2016.06.005
  8. Gay, S.J.; Ravara, A.. "Preface to special issue: Behavioural types". Mathematical Structures in Computer Science 26 3 (2016): 365-366. http://www.scopus.com/inward/record.url?eid=2-s2.0-84957644832&partnerID=MN8TOARS.
    10.1017/S0960129514000206
  9. Kokash, N.; Ravara, A.. "Foreword". Science of Computer Programming 115-116 (2016): 1-2. http://www.scopus.com/inward/record.url?eid=2-s2.0-84958953078&partnerID=MN8TOARS.
    10.1016/j.scico.2015.11.004
  10. Gay, S.J.; Gesbert, N.; Ravara, A.; Vasconcelos, V.T.; Gay, Simon J.; Gesbert, Nils; Ravara, António; Vasconcelos, Vasco T.. "Modular session types for objects". Logical Methods in Computer Science 11 4 (2015): http://www.scopus.com/inward/record.url?eid=2-s2.0-84957899589&partnerID=MN8TOARS.
    10.2168/LMCS-11(4:12)2015
  11. Ravara, A.; Silva, J.. "Editorial for the JLAMP Special Issue on automated specification and verification of web systems". Journal of Logical and Algebraic Methods in Programming 84 4 (2015): 483-484. http://www.scopus.com/inward/record.url?eid=2-s2.0-84938693571&partnerID=MN8TOARS.
    10.1016/j.jlamp.2015.04.001
  12. Mousavi, M.R.; Ravara, A.. "Foreword". Science of Computer Programming 89 PART A (2014): http://www.scopus.com/inward/record.url?eid=2-s2.0-84901619986&partnerID=MN8TOARS.
    10.1016/j.scico.2013.11.039
  13. Cruz-Filipe, L.; Lanese, I.; Martins, F.; Ravara, A.; Thudichum Vasconcelos, V.. "The stream-based service-centred calculus: a foundation for service-oriented programming". Formal Aspects of Computing (2013): 1-54. http://www.scopus.com/inward/record.url?eid=2-s2.0-84880944826&partnerID=MN8TOARS.
    10.1007/s00165-013-0284-5
  14. Ravara, A.; Resende, P.; T. Vasconcelos, V.; Ravara, António; Resende, Pedro; T. Vasconcelos, Vasco. "An algebra of behavioural types". Information and Computation 212 (2012): 64-91. http://www.scopus.com/inward/record.url?eid=2-s2.0-84856326236&partnerID=MN8TOARS.
    10.1016/j.ic.2011.12.005
  15. Martinho, J.; Ravara, A.. "Encoding cryptographic primitives in a calculus with polyadic synchronisation". Journal of Automated Reasoning 46 3-4 (2011): 293-323. http://www.scopus.com/inward/record.url?eid=2-s2.0-79956080319&partnerID=MN8TOARS.
    10.1007/s10817-010-9189-7
  16. Lanese, I.; Ravara, A.; Vieira, H.T.. "Behavioral theory for session-oriented calculi". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6582 (2011): 189-213. http://www.scopus.com/inward/record.url?eid=2-s2.0-80455131288&partnerID=MN8TOARS.
    10.1007/978-3-642-20401-2_9
  17. Ferreira, C.; Lanese, I.; Ravara, A.; Vieira, H.T.; Zavattaro, G.. "Advanced mechanisms for service combination and transactions". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6582 (2011): 302-325. http://www.scopus.com/inward/record.url?eid=2-s2.0-80455158329&partnerID=MN8TOARS.
    10.1007/978-3-642-20401-2_14
  18. António Ravara. "Modular session types for distributed object-oriented programming". Acm Sigplan Notices 45 NA (2010): 299-312. https://novaresearch.unl.pt/en/publications/f7a29eba-bdeb-40dd-8dd2-c799dc3078ef.
    10.1145/1707801.1706335
  19. Gamboni, M.; Ravara, A.. "Responsive choice in mobile processes". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6084 LNCS (2010): 135-152. http://www.scopus.com/inward/record.url?eid=2-s2.0-77958048597&partnerID=MN8TOARS.
    10.1007/978-3-642-15640-3_10
  20. Vaz, C.; Ferreira, C.; Ravara, A.. "Dynamic recovering of long running transactions". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5474 LNCS (2009): 201-215. http://www.scopus.com/inward/record.url?eid=2-s2.0-67650305193&partnerID=MN8TOARS.
    10.1007/978-3-642-00945-7_13
  21. Vasco T. Vasconcelos; Simon Gay; António Ravara; Nils Gesbert; Alexandre Z. Caldeira. "Dynamic Interfaces". (2009): http://hdl.handle.net/10451/14997.
  22. Cruz-Filipe, L.; Lanese, I.; Martins, F.; Ravara, A.; Vasconcelos, V.T.. "Behavioural theory at work: Program transformations in a service-centred calculus". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5051 LNCS (2008): 59-77. http://www.scopus.com/inward/record.url?eid=2-s2.0-46049114910&partnerID=MN8TOARS.
    10.1007/978-3-540-68863-1_5
  23. Lanese, I.; Martins, F.; Vasconcelos, V.T.; Ravara, A.. "Disciplining orchestration and conversation in service-oriented computing". Proceedings - 5th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007 (2007): 305-314. http://www.scopus.com/inward/record.url?eid=2-s2.0-45849148094&partnerID=MN8TOARS.
    10.1109/SEFM.2007.13
  24. Vasconcelos, V.T.; Gay, S.J.; Ravara, A.. "Type checking a multithreaded functional language with session types". Theoretical Computer Science 368 1-2 (2006): 64-87. http://www.scopus.com/inward/record.url?eid=2-s2.0-33750708529&partnerID=MN8TOARS.
    10.1016/j.tcs.2006.06.028
  25. Vallecillo, A.; Vasconcelos, V.T.; Ravara, A.. "Typing the behavior of software components using session types". Fundamenta Informaticae 73 4 (2006): 583-598. http://www.scopus.com/inward/record.url?eid=2-s2.0-33751098013&partnerID=MN8TOARS.
  26. Vallecillo, A.; Vasconcelos, V.T.; Ravara, A.. "Typing the behavior of objects and components using session types". Electronic Notes in Theoretical Computer Science 68 3 (2003): 439-456. http://www.scopus.com/inward/record.url?eid=2-s2.0-17044383882&partnerID=MN8TOARS.
    10.1016/S1571-0661(05)80382-2
  27. Ravara, A.; Matos, A.G.; Vasconcelos, V.T.; Lopes, L.. "Lexically scoped distribution: What you see is what you get". Electronic Notes in Theoretical Computer Science 85 1 (2003): 61-79. http://www.scopus.com/inward/record.url?eid=2-s2.0-18944401258&partnerID=MN8TOARS.
    10.1016/S1571-0661(05)80088-X
  28. Vasconcelos, V.T.; Ravara, A.. "Communication errors in the p-calculus are undecidable". Information Processing Letters 71 5 (1999): 229-233. http://www.scopus.com/inward/record.url?eid=2-s2.0-0033321996&partnerID=MN8TOARS.
    10.1016/S0020-0190(99)00109-X
Online resource
  1. Giunti, Marco; Paulino, Hervé; Ravara, António; Almeida Matos, Ana; Jan Cederquist; João Matos. AtomiS-Coq : soundness of inference of atomicities. 2022. Artifact #61 has been accepted by the ECOOP 2022 Artifact Evaluation program committee.
    https://zenodo.org/record/6382015
Report
  1. Giunti, Marco; Paulino, Hervé; Ravara, António. 2023. Anticipation of Method Execution in Mixed Consistency Systems - Technical Report. https://arxiv.org/abs/2212.14651.
  2. Filipe, Luís Cruz; Lanese, Ivan; Martins, Francisco; Ravara, António; Vasconcelos, Vasco T.. 2007. Bisimulations in SSCC. http://hdl.handle.net/10451/14225.
  3. Ravara, António; Matos, Ana; Vasconcelos, Vasco T.; Lopes, Luís. 2002. A Lexically Scoped Distributed $\pi$-Calculus. http://hdl.handle.net/10451/14202.
Activities

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2020/10/01 - Current Verification of Heap-Manipulating Ocaml Programs with Why3
Supervisor of Pedro Barroso
 Doutoramento em Informática (PhD)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020/06/01 - 2022/05/31 Principles and Methods to Verify OCaml Programs - MSCA IF
Supervisor of Mário Pereira
 Pós-doutoramento em Informática (Other)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 - 2021 Coping with the reality: adding crucial features to a typestate-oriented language
Supervisor of João Daniel da Luz Mota
 Engenharia Informática (Master)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 - 2021 Retrofitting Typestates into Rust
Supervisor of José Miguel Gonçalves Duarte
 Engenharia Informática (Master)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 - 2021 A Mechanized Proof of Kleene's Theorem in Why3
Supervisor of André Duarte Teixeira Trindade
 Engenharia Informática (Master)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020 - 2020 Smart Contracts using Blockchain
Supervisor of João Diogo Curro Pacheco
 Engenharia Informática (Master)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020 - 2020 Blockchain - Gestão de Identidades
Supervisor of João Pedro Silva Borralho
 Engenharia Informática (Master)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2005/09/01 - 2010/12/20 Statically proving behavioural properties in the pi-calculus via dependency analysis
Supervisor of Maxime Gamboni
 Doutoramento em Matemática (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
Distinctions

Award

2022 Best student project (Supervisor)
Incyber Innovation Hub, Portugal

Other distinction

2014 ACM Computing Reviews Notable Article