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
2
answers
0
questions
~13k
people reached
-
Member for 7 years, 3 months
-
1 profile view
-
Last seen Nov 12 '18 at 22:04