Researcher in Algorithms, and former programmer, phone systems admin and electronics engineer.
- Algorithms and Graph theory
- Logic (mostly modal logics)
- Applied algorithms and graph theory on Android
- Climbing (bouldering, as friends is a prerequisite for wall climbing)
4 Number of distinct nodes in a random walk Sep 28 '12
3 Program for computing Tree decomposition of a graph Apr 22 '15