nicoo's user avatar
nicoo's user avatar
nicoo's user avatar
nicoo
  • Member for 5 years, 5 months
  • Last seen more than 5 years ago
Stats
411
reputation
2k
reached
1
answer
0
questions
Loading…
About

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 doesn’t have any gold badges yet.
2
silver badges
4
bronze badges
Top tags
6
Score
1
Posts
100
Posts %
6
Score
1
Posts
100
Posts %
6
Score
1
Posts
100
Posts %
Top posts