Lovro Mrkonjić

Adresse

Preise und Auszeichnungen

• Lehrpreis der Fachgruppe Informatik für die Veranstaltung "Mathematische Logik" 2023

Forschung

• Halbringsemantik für Logiken und Spiele
  • Prädikatenlogik, Fixpunktlogik, Temporale Logiken, …
  • Modelltheorie der Halbringsemantik
    • Elementare Äquivalenz und Isomorphie
    • Axiomatisierung endlicher Halbringinterpretationen
    • Ehrenfeucht–Fraïssé-Spiele
    • Kompaktheitssatz, 0-1-Gesetze, …
  • Spiele mit Imperfekter Information
    • Strategiesummensatz
  • Algebraische Grundlagen
    • Infinitäre Halbring-Algebra
    • Polynome und Potenzreihen
    • Absorptive Halbringe

Lehre

• Mathematische Logik (als Tutor: SS 18, SS 19, SS 20; als Assistent: SS 21, SS 22, SS 23)
• Algorithmische Modelltheorie (WS 22/23, SS 24)
• Provenienzanalyse und Halbringsemantik für Logiken und Spiele (SS 22, SS 24)
• Mathematische Logik II (WS 20/21, WS 23/24)
• Quanten-Computing (SS 23)
• Logik und Spiele (WS 21/22)
• Logics for Reasoning about Uncertainty (SS 21)
• Seminar Logik, Komplexität, Spiele:
  • Fixpunktlogiken (WS 23/24)
  • Beweiskomplexität (WS 22/23)
  • Algorithmische Meta-Theoreme und parametrisierte Komplexität (WS 21/22)
  • Automatische Strukturen (WS 20/21)

Aktuelle Publikationen

• 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.

Alle Publikationen