Citation indexes:    Google Scholar     ORCID     Scopus

Research interests
  • Models of concurrency and distribution: design models, languages, and tools to express and reason about concurrent and distributed systems, addressing aspects as security and data replication.
  • Verification techniques for long running transactions: development of logic foundations and tools to reason about correctness and properties of long running transactions.
  • Language-based security: development of languages and static analysis techniques to support data security and privacy in highly distributed environments.
  • Foundations of service oriented and cloud computing: design of programming models that capture the abstractions of large-scale distributed systems.
Current Projects
Past Projects
  • SyncFree (FP7/EU)
  • Certified Interfaces (Carnegie Mellon|Portugal)
  • StreamLine (FCT/MCTES/PT)
  • IP Sensoria - Software Engineering for Service-Oriented Overlay Computers (EU IST)
  • IP MATISSE - Methodologies and technologies for industrial strength systems engineering (EU IST)
  • ABCD - Automated Validation of Business Critical Systems with Component Based Designs (UK EPSRC)
  • High-Integrity Component-Based Engineering for Enterprise Systems (IBM UK Labs)
  • ...