- Currently a PhD student at the algorithms group in the Department of Informatics, University of Bergen.
- Master of science in informatics degree from the same department, writing a thesis in modal (epistemic and strategic) logic using effectivity functions.
- Bachelor degree in cognitive science from the University of Bergen.
- Phone systems admin
- Algorithms and Graph theory
- Logic (modal)
- Applied algorithms and graph theory on Android
What will I be when I grow up (pick one)
- Writer or
5 What does the sign $\propto$ mean? jan 27 '14
1 K-tree and Partial k-tree sep 24 '13