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