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
Top Network Posts
- 95 What important/crucial real-world applications use blockchain?
- 38 What is arQiv.org?
- 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?
- 31 Are there subexponential-time algorithms for NP-complete problems?
- 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 →