- Distributed systems. Algorithm specification and verification of its correctness.
- Highly available and fault-tolerant distributed systems. Distributed databases. Full and partial replicated databases.
- Cloud computing.
- Correctness criteria for data consistency.
Specialties: Data consistency, highly available distributed systems, distributed data management, fault-tolerance