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
Member for 6 years
1 profile view
Last seen Nov 12 '18 at 22:04