Nicolas Braud-Santoni

less info
1 reputation
bio website
age 22
visits member for 1 year, 8 months
seen Jan 4 '13 at 13:01

I am 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

Mathematics :

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

This user has not answered any questions
This user has no recent reputation changes
This user has not asked any questions
This user has not participated in any tags
This user has not earned any badges
This user has no active bounties

0 Votes Cast

This user has not cast any votes