António Ravara

Main interests

Semantics of programming languages, theory of concurrent and distributed systems (mainly using process calculi), logic in computer science, type systems and static verification of correctness properties.

• ACM classification

• D.3 Programming Languages

• F.1 Computation by Abstract Devices

• F.3 Logics and Meanings of Programs

• F.4 Mathematical Logic and Formal Languages

• AMS classification

• 03B Mathematical logic and foundations (temporal and modal logics)

• 68Q Theory of computing (Models of computation, semantics, specification and verification, models and methods for concurrent and distributed computing)

Publications

Recent Work

My papers in the SQIG repository

• Journal papers

• Serial papers

• Conference papers

• Technical Reports

• As editor

• Theses

• All

Citations from the Computer Science Community

• ACM Author Profile.

• Using DBLP: here.

• Using GoogleScholar: here.

Projects

National projects

• Liveness, statically: Behavioural Types for Statically Checking Liveness Properties

• Space-Time-Types: Behavioural and Spatial Type Systems

• MIMO: Models and Infra-structures for Mobile Computing

• TyCO: Typed Concurrent Objects

Bilateral projects and colaborations

• Behavioural Types for Object-Oriented Languages

• Communication Protocols in Session Types

• MONACO: Models for New Applications of Concurrency

EU ICT COST

• Action IC1201: BETTY - Behavioural Types for Reliable Large-Scale Software Systems

• Action IC0701: Formal Verification of Object-Oriented Software

EU IST projects

• Sensoria: Software Engineering for Service-Oriented Overlay Computers

• Mikado: Mobile Calculi based on Domains

• Profundis: Proofs of Functionality for Mobile Distributed Systems

Events

Recent participation in Program Committees

• ICTAC 2015

• WS-FM/BEAT 2015 (Co-Chair)

• WWV 2015

• TGC 2014

• BEAT 2014

• ICTAC 2014

• WWV 2014 (Co-Chair)

• ICE 2014

• FOCLASA 2013

• WS-FM 2013

• WWV 2013 (Co-Chair)

• BEAT 2013

• ACM SAC SOAP 2013

• ACM SAC OOPS 2013

• FOCLASA 2012 (Co-Chair)

• WWV 2012

• FoVeOOS 2011

• FMOODS & FORTE 2011

• FOCLASA 2011 (Co-Chair)

• ACM SAC SVT track 2011

Organisation

• Member of the Scientific committee of the 1st Summer School on Behavioural Types

• Co-organiser of the 1st Workshop on Behavioural Types

• General chair of the 4th International Conference on Distributed Computing Techniques (DisCoTec'09)

• Workshops chair of the 18th International Conference on Concurrency Theory (CONCUR'07)

• Workshops chair of the 32nd International Colloquium on Automata, Languages and Programming (ICALP'05)





Last modified: Tue Apr 14 17:44:43 WEST 2015