I am a researcher at the Distributed Systems Group at INESC-ID, a research laboratory associated with the Instituto Superior Técnico (IST) of the Universidade Técnica de Lisboa.
My research interests are focused on distributed systems and databases, and my main working areas are:

• Dependable Distributed Systems:
  • Replicated transactional systems
  • Fault-tolerance in multi-tier systems
  • Fault-tolerant platforms for RFID data acquisition services
  • Multi-Path protocols for large scale transactional systems
  • Formal verification of distributed protocols
• Performance Modelling and Evaluation:
  • QoS in content delivery networks
  • Modelling of DBMS concurrency control schemes
  • Approximate solution methods for complex queueing systems
  • Modelling of standard security mechanisms via Petri-nets
• Autonomic Databases:
  • Automatic workload and data access pattern characterization
  • Adaptive concurrency control and data replication schemes
• Parallel/Distributed Computing:
  • High Performance Simulation Platforms
  • Optimistic Simulation Systems

---

Tomorrow isn't promised so we live for today