- 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
13 What is the decision version of independent set? jan 31 '13
12 What should I do with a bunch of 16-17 year olds to get them interested in computer science? jun 24 '13
12 How to prove a problem is NOT NP-Complete? jun 21 '13
10 Implement queue with a linked list; why would it be bad to insert at the head and remove at the tail? mar 10 '13
9 What are lattices used for? jun 6 '13