- 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
We鈥檝e updated our privacy policy so that we are compliant with changing global privacy regulations and to provide you with insight into the limited ways in which we use your data.
You can read the details below. By accepting, you agree to the updated privacy policy.
