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
K. Asimi, L. Barto, Finitely Tractable Promise Constraint Satisfaction Problems, 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021), 11:1-11:16 [DOI]
K. Asimi, L. Barto, S. Butti, Fixed-Template Promise Model Checking Problems, 28th International Conference on Principles and Practice of Constraint Programming (CP 2022), 2:1--2:17 [arXiv] [DOI]
SEMINARS, CONFERENCES, WORKSHOPS
February 9, 2024: SLADIM+ Seminar, University of Novi Sad, Serbia
Talk: (Promise) Constraint Satisfaction Problem
November 30-December 3, 2023: Fall School of Algebra, Teplice nad Metují, Czech Republic
Talk: Teaching Mathematics in a Montessori school
July 1, 2023: Women in Logic workshop, Rome, Italy (online)
March 27, 2023: G²OAT seminar, Czech Technical University, Prague, Czech Republic
Talk: Promise CSP (standard and seen from the other side)
March 23-26, 2023: Spring School of Algebra, Bohemian Paradise, Czech Republic
February 14, 2023: ACiD Seminar, Durham University, UK (online)
Talk: Promise CSP (standard and seen from the other side)
September 26-29, 2022: LAP 2022 - Logic and Applications 2022, Dubrovnik, Croatia
Talk: Fixed-Template Promise Model Checking Problems
September 18-24, 2022: CSP World Congress, Molveno, Italy
August 2-5, 2022: CP 2022 - The 28th International Conference on Principles and Practice of Constraint Programming, Haifa, Israel
Talk: Fixed-Template Promise Model Checking Problems
July 31, 2022: WiL 2022 - 6th International Workshop "Women in Logic", Haifa, Israel
May 15-20, 2022: Dagstuhl Seminar 22201: The Constraint Satisfaction Problem: Complexity and Approximability, Schloss Dagstuhl, Germany
April 13, 2022: SIAM SC Seminar, Charles University, Prague, Czech Republic
Talk: (Not) Finitely Tractable PCSPs
March 25, 2022: Seminar of the Algebra Group at TU Wien, Vienna, Austria
Talk: (Not) Finitely Tractable PCSPs
November 3-7, 2021: Fall School of Algebra, Lucky vrch, Czech Republic
September 26-October 2, 2021: CSP World Congress, Kranjska Gora, Slovenia
Talk: Promise First-Order Model Checking Problems Parameterized by the Model
August 23-27, 2021: MFCS 2021 - 46th International Symposium on Mathematical Foundations of Computer Science, Tallinn, Estonia
Talk: Finitely Tractable Promise Constraint Satisfaction Problems
June 4-6, 2021: AAA101 - 101st Workshop on General Algebra, Novi Sad, Serbia (online)
May 25-27, 2021: ISMVL 2021 - IEEE International Symposium on Multiple-Valued Logic, Nursultan, Kazakhstan (online)
February 23, 2021: PALS - Panglobal Algebra and Logic Seminar, CU Boulder, USA (online)
Talk: Finitely tractable PCSPs
February 5-7, 2021: AAA100 - 100th Workshop on General Algebra, Krakow, Poland (online)
September 20-26, 2020: CSP World Congress 2020, Völs am Schlern, Italy
Talk: Not finitely tractable PCSPs
February 21-23, 2020: AAA99 - The 9th Workshop on General Algebra, Siena, Italy
Talk: Infinity - Relevant or Irrelevant
October 3-5, 2019: The Young Mathematicians Conference, Novi Sad, Serbia
Talk: Obećanja svode konačne probleme na beskonačne (Translation: Promises Reduce Finite Problems to Infinite Ones)
September 1-7, 2019: SSAOS 2019 - The 57th Summer School on General Algebra and Ordered Sets, Karolinka, Czech
Talk: Infinite Nature of Finite PCSPs
June 21-23, 2019: AAA98 - The 98th Workshop on General Algebra, Dresden, Germany
June 9-11, 2019: Russian Workshop on Complexity and Model Theory, Dolgoprudny, Russia
April 4-7, 2019: Spring School of Algebra, Seč-Ústupky, Czech Republic
Talk: Infinity Is Relevant
March 1-3, 2019: AAA97 - The 97th Workshop on General Algebra, Vienna, Austria
August 7-12, 2018: The Cornell, Maryland, Max Planck Pre-doctoral Research School, Saarbrücken, Germany
November 21-22, 2017: Data Science Conference, Belgrade, Serbia
RESEARCH VISITS
June 20-July 25, 2022: visiting Victor Dalmau at University Pompeu Fabra, Barcelona, Spain
March 20-26, 2022: visiting Michael Pinsker at TU Wien, Austria
TEACHING
Fall 2021: Universal Algebra 1, Charles University
Fall 2023: Maths and Physics, Czech-English Montessori school IDEA