Lovro Mrkonjić

Former Address

Awards

• Computer Science Department's Teaching Award for the course "Mathematical Logic" 2023

Research

• Semiring Semantics for Logics and Games
  • First-Order Logic, Fixed-Point Logic, Temporal Logics, …
  • Semiring Model Theory
    • Elementary Equivalence versus Isomorphism
    • Axiomatization of finite Semiring Interpretations
    • Ehrenfeucht–Fraïssé Games
    • Compactness Theorem, 0-1 Laws, …
  • Imperfect Information Games
    • Sum of Strategies Theorem
  • Algebraic Foundations
    • Infinitary Semiring Algebra
    • Polynomials and Power Series
    • Absorptive Semirings

Teaching

• Mathematical Logic (as tutor: SS 18, SS 19, SS 20; as assistant: SS 21, SS 22, SS 23)
• Algorithmic Model Theory (WS 22/23, SS 24)
• Provenance Analysis and Semiring Semantics for Logics and Games (SS 22, SS 24)
• Mathematical Logic II (WS 20/21, WS 23/24)
• Quantum Computing (SS 23)
• Logic and Games (WS 21/22)
• Logics for Reasoning about Uncertainty (SS 21)
• Seminar Logic, Complexity, Games:
  • Fixed-Point Logics (WS 23/24)
  • Propositional Proof Complexity (WS 22/23)
  • Algorithmic Meta-Theorems and Parameterized Complexity (WS 21/22)
  • Automatic Structures (WS 20/21)

Recent Publications

• S. Brinke, A. Dawar, E. Grädel, L. Mrkonjić, and M. Naaf. Compactness in Semiring Semantics. In 34th EACSL Annual Conference on Computer Science Logic (CSL 2026) (S. Guerrini and B. König, Eds.), vol. 363 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 13:1–13:21, Dagstuhl, Germany. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2026.
• L. Mrkonjić. Semiring Semantics: Algebraic Foundations, Model Theory, and Strategy Analysis. PhD thesis, RWTH Aachen University, 2025.
• S. Brinke, E. Grädel, L. Mrkonjić, and M. Naaf. Semiring Provenance in the Infinite. In The Provenance of Elegance in Computation - Essays Dedicated to Val Tannen (A. Amarilli and A. Deutsch, Eds.), vol. 119 of Open Access Series in Informatics (OASIcs), pp. 3:1–3:26, Dagstuhl, Germany. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024.
• S. Brinke, E. Grädel, and L. Mrkonjić. Ehrenfeucht-Fraïssé Games in Semiring Semantics. In 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024) (A. Murano and A. Silva, Eds.), vol. 288 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 19:1–19:22, Dagstuhl, Germany. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024.
• S. Brinke, E. Grädel, and L. Mrkonjić. Ehrenfeucht-Fraïssé Games in Semiring Semantics. arXiv:2308.04910 [cs.LO], full version of CSL'24 paper, 2023.

All publications