I am interested in distributed computing and formal methods.
- Computer Science 9k 9k 22 gold badges2525 silver badges6161 bronze badges
- Mathematics 3.3k 3.3k 2121 silver badges3737 bronze badges
- Theoretical Computer Science 2.3k 2.3k 11 gold badge1313 silver badges3131 bronze badges
- TeX - LaTeX 2.2k 2.2k 22 gold badges1818 silver badges3535 bronze badges
- Stack Overflow 1.7k 1.7k 22 gold badges1616 silver badges3939 bronze badges
- View network profile
Top network posts
- 29 Why is the "topologist's sine curve" not locally connected?
- 23 Curious about computer-assisted NP-completeness proofs
- 22 How to enforce the left-to-right node ordering in GraphViz rank layout?
- 20 Why is the consensus problem so important in distributed computing?
- 19 log(n) complexity. Difficulty understanding example
- 19 How do I find my wife in a supermarket?
- 19 Projection map being a closed map
- View more network posts →