I am interested in many fields of Computer Science and Mathematics.
- Distributed systems
- Fault tolerance (esp. byzantine failures)
- Formal methods
- Automated verification and synthesis
- Proof assistants
- Algebraic topology (has deep connection to the theory of distributed systems)
- Group theory
Keeping a low profile.
This user hasn't posted... yet.