91视频

Academic Degrees

• Professor in Computer Science, Linköping University, 2004.
• PhD in Computer Science, Linköping University, 1996. Dissertation title: Studies in Action Planning: Algorithms and Complexity. Advisor:
  Christer Bäckström.
• MSc in Computer Science, Linköpings University, 1993. Thesis title: Alternative Constructions of Reexive Scott Domains. Advisor: Karl-Johan Bäckström.

Employment

• Professor in Computer Science, Linköping University, 2004.
• Associate professor (Docent) in Computer Science, Linköping University, 1998.
• Assistant professor (Lektor) in Computer Science, Linköping University, 1997.

Teaching

PhD Advising

Main advisor for the following completed PhDs:

• Biman Roy, Applications of Partial Polymorphisms in (Fine-Grained) Complexity of Constraint Satisfaction Problems (Apr, 2020)
• Simon St氓hlberg, Methods for Detecting Unsolvable Planning Instances Using Variable Projection (Oct, 2017)
• Meysam Aghighi, Computational Complexity of Some Optimization Problems in Planning (Jun, 2017)
• Victor Lagerkvist, Strong Partial Clones and the Complexity of Constraint Satisfaction Problems: Limitations and Applications (Feb, 2016)
• Hannes Uppman, On Some Combinatorial Optimization Problems: Algorithms and Complexity (May, 2015)
• Tommy F盲rnqvist, Exploiting Structure in CSP-related Problems (Feb, 2013)
• Johan Thapper, Aspects of a Constraint Optimisation Problem (Feb, 2010)
• Fredrik Kuivinen, Algorithms and Hardness Results for Some Valued CSPs (Dec, 2009)
• Gustav Nordh, Complexity Dichotomies for CSP-related Problems (Jun, 2007)
• Magnus Wahlstr枚m, Algorithms, Measures, and Upper Bounds for Satisability and Related Problems (Apr, 2007)

• Vilhelm Dahll枚f, Exact Algorithms for Exact Satisability Problems (Jun, 2006)
• Ola Angelsmark, Constructing Algorithms for Constraint Satisfaction and Related Problems: Methods and Applications (Jun, 2005)
• Mathias Broxvall, A Study in the Computational Complexity of Temporal Reasoning (Dec, 2002)

Co-advisor for the following completed PhDs:

Niklas Johansson, A Resource for Quantum Computation (Jan, 2022, Dept. of EE, Link枚ping University)

Currently main advisor for George Osipov.

Co-advisor for Leif Eriksson and Christoffer Hindlycke (Dept. of EE, Link枚ping University.)

Postdocs

Supervised postdocs:

• Victor Lagerkvist (2018 - 2020)
• Micha艂 Wrona (2012 -2014)
• Johannes Schmidt (2012- 2013)
• Stefanie Kosuch (2010- 2012)
• Rustem Takhanov (2009- 2011)