I am a
researcher at the
Distributed Systems Group at
INESC-ID, and an
associate professor at the
Instituto Superior Técnico (IST) of the
Universidade Técnica de Lisboa.
My research interests are focused on distributed systems, AI/ML systems, databases and autonomic computing, and my main working areas are:
- Dependable Distributed Systems:
- Dependable AI systems
- Dependable data management in Cloud computing platforms
- Replicated transactional systems
- Fault-tolerance in multi-tier systems
- Formal verification of distributed protocols
- Parallel/Distributed/High Performance Computing:
- Transactional Memory
- Persistent memory
- In-Memory processing
- Efficient AI/ML systems
- GPU programming
- High Performance Simulation Platforms
- Autonomic Systems:
- Self-optimization of complex systems, from databases to AI/ML systems
- Automatic workload and data access pattern characterization
- Adaptive concurrency control and data replication schemes
- Performance Modelling and Evaluation:
- QoS in Cloud computing platforms and content delivery networks
- Modelling of concurrency control schemes
- Machine-learning based performance prediction of complex computer systems
- Approximate solution methods for complex queueing systems
