107
reputation
2

nicoo

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
1
answer
0
questions
0
people reached

Top tags (4)

Score -1
Posts 1
Posts % 100
Score -1
Posts 1
Score -1
Posts 1
Score -1
Posts 1

Top posts (1)

Badges (2)

Gold

Silver

Bronze

2

Rarest