1 reputation
1
bio website nicolas.braud-santoni.eu
location
age 23
visits member for 1 year, 11 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
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