I am interested in many fields of Computer Science and Mathematics.
Computer Science:
- Distributed systems
- Fault tolerance (esp. byzantine failures)
- Randomization
- Formal methods
- Automated verification and synthesis
- Proof assistants
Mathematics :
- Algebraic topology
(has deep connection to the theory of distributed systems)
- Group theory
- Combinatorics
