Database Systems and Distributed Systems
Transactional Consistency Models (i.e., Isolation Levels)
Distributed Data Consistency
Formal Methods
TLA+/TLAPS
Coq
SAT/SMT