Affiliation: Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa
Associate Professor at DI FCT UNL, member of the Software Systems group, and of the PLASTIC research team. 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.
- Modular session types for objects
- Dec 2015
- António Ravara, Nils Gesbert, Simon Gay, Vasco Vasconcelos
- The Stream-based Service-Centered Calculus: a Foundation for Service-Oriented Programming
- Sep 2014
- Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Vasconcelos