ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
António Ravara

Registered user since Thu 27 Sep 2018

Name:António 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).

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 University of Lisbon and NOVA LINCS
Research interests:Logic in Computer Science; Semantics of Programming Languages; Program Analysis; Concurrency; Behavioural Types and Type Tystems

Contributions

Show activities from other conferences

ETAPS 2019-profile
View general profile