Lovro Mrkonjić

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, 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.
• E. Grädel and L. Mrkonjić. Elementary equivalence versus isomorphism in semiring semantics. arXiv:2102.05473 [math.LO], preprint of ICALP'21 paper, 2021.
• E. Grädel and L. Mrkonjić. Elementary Equivalence Versus Isomorphism in Semiring Semantics. In 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021) (N. Bansal, E. Merelli, and J. Worrell, Eds.), vol. 198 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 133:1–133:20, Dagstuhl, Germany. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021.

All publications