Göm menyn

Presentation

I'm a PhD student at TSCLAB since december 2009. Previously I majored in Mathematics at LiU and got my Masters of Science degree in early 2010.

Research

I'm currently studying the complexity of Constraint Satisfaction Problems over constraint languages that are first order defineable from adition over the whole numbers.

Papers

Discrete-time Temporal Reasoning with Horn DLRs with Peter Jonson, presented at IJCAI 2011.

Education

I've been a teacher assistant on TDDC70 - Data structures and Algorithms, and on TDDD08 - Logic Programming.

Sidansvarig: Tomas Lööw
Senast uppdaterad: 2011-07-21