I’m broadly interested in fault-tolerant distributed and concurrent algorithms and systems. The main drive for my research is finding theoretical foundations that can help explain and improve the practice. Recently, I’ve been working on distributed storage – theory and systems, concurrent data structures and transactions, and scalable Byzantine fault-tolerance.