Lovro Mrkonjić
Former Address
Mathematische Grundlagen der InformatikRWTH Aachen
D-52056 Aachen
| Email: | mrkonjic [AT] logic.rwth-aachen.de |
Awards
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:
Recent Publications
- 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.
- E. Grädel and L. Mrkonjić. Elementary equivalence versus isomorphism in semiring semantics. arXiv:2102.05473 [math.LO], preprint of ICALP'21 paper, 2021.