194
reputation
1

nicoo

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