António Ravara

Research interests and projects | Publications | Teaching | Short CV

• Main interests

  • Concurrency and distribution, in particular Mobile processes:
    • Mobile Processes
    • Mobile Ambients
    • MOCA: a mailing list on models for mobility
    • Action Calculi
    • Concurrent Systems
    • Concurrency Mailing List
  • Logics, in particular for specification and verification:
    • Formal Methods
    • Spatial Logics
    • TLA: The Temporal Logic of Actions
  • Object-orientation:
    • Objects and Components
    • Type systems for object-oriented programming
    • Types Mailing List

• National projects

  • MIMO: Models and Infra-structures for Mobile Computing

• EU projects

  • Mikado: Mobile Calculi based on Domains
  • Profundis: Proofs of Functionality for Mobile Distributed Systems

• Bilateral projects and collaborations

  • Mimosa Project at INRIA
  • Mobility people of BRICS at Aalborg University

• Organization of events

  • Workshop Semantics of Objects as Processes (SOAP)

Research interests and projects | Publications | Teaching | Short CV