Leading Advisor Software Engineering, former researcher in Algorithms, former programmer, phone systems admin and electronics engineer.
- Software Engineering
- Algorithms and Graph theory
- Logic (mostly modal logics)
- Applied algorithms and graph theory on Android
- Climbing & bouldering
- Computer Science 7.6k 7.6k 2424 silver badges4343 bronze badges
- Stack Overflow 1k 1k 88 silver badges2323 bronze badges
- Academia 930 930 77 silver badges1414 bronze badges
- TeX - LaTeX 827 827 66 silver badges1919 bronze badges
- Mathematics 797 797 55 silver badges1313 bronze badges
- View network profile →
Top network posts
- 96 What important/crucial real-world applications use blockchain?
- 38 What is arQiv.org?
- 33 Are there subexponential-time algorithms for NP-complete problems?
- 32 Can I add a baby as a co-author of a scientific paper, to protest against co-authors who haven't made any contribution?
- 23 Electrical outlet
- 19 Which NP-Complete problem has the fastest known algorithm?
- 18 Why did nobody prove undecidability by the "too many problems" argument?
- View more network posts →