Antonio Ravara

Registered user since Thu 27 Sep 2018

Name:Antonio Ravara
Bio:

Associate Professor at the Department of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon, Portugal (since October 2018). Founding member and Integrated researcher at the NOVA Laboratory for Computer Science and Informatics (NOVA LINCS), Portugal (since 2013). Assistant Professor at the Department of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon, Portugal ()2009 to 2018). Assistant Professor at the Section of Logic and Computation of the Department of Mathematics of IST. Technical University of Lisbon, Portugal (2000 to 2009).

PhD in Mathematics at IST, of the Technical University of Lisbon, Portugal (December 2000). MSc in Applied Mathematics at IST of the Technical University of Lisbon, Portugal (May 1996). BSc in Geographical Engineering at the Faculty of Sciences of the University of Lisbon, Portugal (September 1991).

Main research problem is how to ensure that inherently concurrent, highly distributed, software systems behave correctly. The focus is on the development of techniques, program constructions, and tools that help creating safe and well-behaved systems, provably providing correctness guarantees. The toolbox used includes static analysis of source code, capturing defects before deployment, with decidable, low complexity, property-driven, proof systems, using behavioural descriptions of programs.

Country:Portugal
Affiliation:NOVA LINCS & FCT, NOVA University of Lisbon
Research interests:Logic in Computer Science; Semantics of Programming Languages; Program Analysis; Concurrency; Behavioural Types and Type Tystems

Contributions

OCaml 2022 Author of Supporting FLAT concepts in Learn-OCaml: seeing is believing, programming is understanding within the OCaml 2022-track
ML 2021 Author of Cameleer: a Deductive Verification Tool for OCaml within the ML 2021-track
CPP 2021 Author of Cameleer: a Deductive Verification Tool for OCaml within the Lightning Talks-track
APLAS 2020 Author of Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language within the Research Papers-track
BEHAPI 2019 Committee Member in Organizing Committee within the BEHAPI-track
PC Member in Program Committee within the BEHAPI-track
Author of Proving properties about Linear Pi in Coq within the BEHAPI-track
Session Chair of Mechanising Proofs for Behavioural Types and Processes (part of BEHAPI)
PLACES 2019 Committee Member in Program Committee within the PLACES-track
BEAT 2019 Committee Member in Organizing Committee within the BEAT 2019-track
Author of Getting Rid of Null-Dereferences – Behavioural Types to the Rescue within the BEAT 2019-track
Author of Opening within the BEAT 2019-track
Co-chair in Program Committee within the BEAT 2019-track
Author of Closing within the BEAT 2019-track
OPCT 2019 Committee Member in Organizing Committee within the OPCT 2019-track
Session Chair of Session Types, Graph-Rewriting (part of OPCT 2019)
VORTEX 2018 Committee Member in Program Committee within the VORTEX-track
VORTEX 2017 Committee Member in Program Committee within the VORTEX17-track