I am involved with the French NGO Nos Oignons, which promotes the deployment of high-bandwidth Tor nodes.
I am also 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