Home

Kristina Asimi

I have just started my new position at Durham University as a postdoctoral research associate in computer science. Prior to this, I completed my PhD at the Department of Algebra , Faculty of Mathematics and Physics, Charles University , Prague, Czech Republic, under the supervision of Libor Barto and with funding from the European Research Council (ERC).

Title of the PhD thesis: Promises in Satisfaction Problems

Research interests: universal algebra, computational complexity, in particular algebraic approach to constraint satisfaction problems

SELECTED PAPERS

SEMINARS, CONFERENCES, WORKSHOPS

Talk: (Promise) Constraint Satisfaction Problem

Talk: Teaching Mathematics in a Montessori school

Talk: Promise CSP (standard and seen from the other side)

Talk: Promise CSP (standard and seen from the other side)

Talk: Fixed-Template Promise Model Checking Problems

Talk: Fixed-Template Promise Model Checking Problems

Talk: (Not) Finitely Tractable PCSPs

Talk: (Not) Finitely Tractable PCSPs

Talk: Promise First-Order Model Checking Problems Parameterized by the Model

Talk: Finitely Tractable Promise Constraint Satisfaction Problems

Talk: Finitely tractable PCSPs  

Talk: Not finitely tractable PCSPs

Talk: Infinity - Relevant or Irrelevant

Talk: Obećanja svode konačne probleme na beskonačne (Translation: Promises Reduce Finite Problems to Infinite Ones)

Talk: Infinite Nature of Finite PCSPs

Talk: Infinity Is Relevant 

RESEARCH VISITS

TEACHING