66 reputation
2
bio website nicolas.braud-santoni.eu
location
age 23
visits member for 2 years, 1 month
seen Oct 4 '13 at 13:34

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 asked any questions
Tor 74 rep 4
TeX - LaTeX 66 rep 2
Mathematics 1 rep 1
English Language & Usage 1 rep
Academia 1 rep 1

0 Votes Cast

This user has not cast any votes