???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
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
António Ravara

Nomes de citação

  • Ravara, António

Identificadores de autor

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

Domínios de atuação

  • Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Inglês Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Francês Utilizador independente (B1) Utilizador proficiente (C1) Utilizador independente (B1) Utilizador independente (B1)
Formação
Grau Classificação
1996/03 - 2000/12
Concluído
 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" (TESE/DISSERTAÇÃO)
 Aprovado (there were no grades)
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2014 - Atual Investigador (Investigação) Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2018/09/01 - Atual Professor Associado (Docente Universitário) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2009/09/01 - 2018/08/31 Professor Auxiliar (Docente Universitário) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2001/01/01 - 2009/08/31 Professor Auxiliar (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal

Outros

Categoria Profissional
Instituição de acolhimento 		Empregador
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
Projetos

Bolsa

Designação Financiadores
2016/08/01 - 2017/03/31 Behavioural inference for object-oriented languages
SFRH/BSAB/116441/2016
University of Glasgow, Reino Unido
 Fundação para a Ciência e a Tecnologia
Concluído

Projeto

Designação Financiadores
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
Em curso
2020/06/01 - 2022/05/31 Cameleer: Principles and Methods to Verify OCaml Programs
Grant ID 897873
Investigador responsável
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
 Research Executive Agency
Em curso
2018/03/01 - 2022/02/28 BEHAPI: Behavioural Application Program Interfaces
778233
Investigador
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
 Research Executive Agency
Em curso
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
Em curso
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
Concluído
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
Concluído
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
Concluído
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
Concluído
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
Concluído
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
Concluído
Produções

Publicações

Artigo em conferência
  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". Trabalho apresentado em OOPSLA, 2023.
    Aceite para publicação • 10.1145/3622801
  2. Giunti, Marco; Paulino, Hervé; Ravara, António. "Anticipation of Method Execution in Mixed Consistency Systems". Trabalho apresentado em ACM/SIGAPP Symposium On Applied Computing, 2023.
    Publicado
  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. Autor correspondente: Ravara, António. "Supporting FLAT Concepts in Learn-OCaml: Seeing is Believing; Programming is Understanding". Trabalho apresentado em OCaml Worshop, ICFP'2022, Ljubljana, Slovenia, 2022.
    Publicado
  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". Trabalho apresentado em 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". Trabalho apresentado em Practical Aspects of Automated Reasoning 2020, Paris (virtual), 2020.
    Publicado
  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". Trabalho apresentado em Inforum - Simpósio de Informática 2019, 2019.
    Publicado
  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". Trabalho apresentado em INForum - Simpósio de Informática, Coimbra, 2018.
    Publicado
  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
Artigo em revista
  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.
    Publicado • 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
Capítulo de livro
  1. António Ravara; Carla Ferreira; Hugo Filipe Mendes Torres Vieira. "Advanced Mechanisms for Service Combination and Transactions". editado por 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
Edição de livro
  1. Ravara, António. Behavioural Types: from Theory to Tools. 2017.
    10.13052/rp-9788793519817
Livro
  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.
Recurso online
  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
Relatório
  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.
Atividades

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2020/10/01 - Atual Verification of Heap-Manipulating Ocaml Programs with Why3
Orientador de Pedro Barroso
 Doutoramento em Informática (Doutoramento)
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
Orientador de Mário Pereira
 Pós-doutoramento em Informática (Outra)
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
Orientador de João Daniel da Luz Mota
 Engenharia Informática (Mestrado)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 - 2021 Retrofitting Typestates into Rust
Orientador de José Miguel Gonçalves Duarte
 Engenharia Informática (Mestrado)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2021 - 2021 A Mechanized Proof of Kleene's Theorem in Why3
Orientador de André Duarte Teixeira Trindade
 Engenharia Informática (Mestrado)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020 - 2020 Smart Contracts using Blockchain
Orientador de João Diogo Curro Pacheco
 Engenharia Informática (Mestrado)
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2020 - 2020 Blockchain - Gestão de Identidades
Orientador de João Pedro Silva Borralho
 Engenharia Informática (Mestrado)
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
Orientador de Maxime Gamboni
 Doutoramento em Matemática (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
Distinções

Prémio

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

Outra distinção

2014 ACM Computing Reviews Notable Article