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.

Computer Science:

• Distributed systems
  • Fault tolerance (esp. byzantine failures)
  • Randomization
• Formal methods
  • Automated verification and synthesis
  • Proof assistants
• Privacy-preservation

Mathematics :

• Algebraic topology (has deep connection to the theory of distributed systems)
• Group theory
• Combinatorics