Dr. Alexander Kurz
Biography
EDUCATION/TRAINING
2000
Ph.D. in Computer Science, Dept. of Computer Science, Ludwig-Maximilians-Universitaet Muenchen, Germany
1995
Diplominformatiker, Technische Universitaet Muenchen, Germany
1991
Maitrise d’Informatique, Université de Grenoble, France
RESEARCH INTERESTS
Dr Kurz studies models of computation using techniques from logic, algebra, topology, category theory and other areas of mathematics. He is known for his work on modal logic and coalgebras. More recently he has been pursuing foundations of quantitative logics for the specification and verification of heterogeneous systems as well as relational and compositional techniques supporting scalable solutions for blockchain-based technologies. He is also interested in applications of these mathematical techniques outside of computer science, in particular in economics and the political and social sciences.
Recent Creative, Scholarly Work and Publications
-
Alexander Kurz and Wolfgang Poiger. Many-Valued Coalgebraic Logic: From Boolean Algebras to Primal Varieties. In 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023).
-
Alexander Kurz, Wolfgang Poiger, Bruno Teheux, New perspectives on semi-primal varieties, Journal of Pure and Applied Algebra, Online September 2023.
-
Samuel Balco, Alexander Kurz: Completeness of Nominal PROPs. Logical Methods in Computer Science, 2023.
-
Adriana Balan, Alexander Kurz: An equational approach to enriched distributivity. Revue Roumaine de Mathématiques Pures et Appliquées 66:3-4, 577-596 (2021)
-
Jim de Groot, Helle Hvid Hansen, Alexander Kurz: Logic-Induced Bisimulations. CoRR abs/2008.09238 (2020)
-
Alexander Kurz, M. Andrew Moshier, Achim Jung: Stone Duality for Relations. CoRR abs/1912.08418 (2019), accepted for publication.
-
Samuel Balco, Alexander Kurz: Nominal String Diagrams. CALCO 2019 (Best Paper Award)
-
Hao Zeng, Alexander Kurz, Emilio Tuosto: Interface Automata for Choreographies. ICE 2019: 1-19
-
Adriana Balan, Alexander Kurz, Jiri Velebil: Extending set functors to generalised metric spaces. Logical Methods in Computer Science 15(1) (2019)
-
Alexander Kurz, Jiri Velebil: Quasivarieties and varieties of ordered algebras: regularity and exactness. Mathematical Structures in Computer Science 27(7): 1153-1194 (2017)
-
Octavian Babus, Alexander Kurz: On the Logic of Generalised Metric Spaces. CMCS 2016: 136-155
-
Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, Vlasta Sikimic: Multi-type display calculus for dynamic epistemic logic. J. Log. Comput. 26(6): 2017-2065 (2016)
-
Alexander Kurz, Jiri Velebil: Relation lifting, a survey. J. Log. Algebr. Meth. Program. 85(4): 475-499 (2016)
-
Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz, Jurriaan Rot: Presenting Distributive Laws. Logical Methods in Computer Science 11(3) (2015)
-
Adriana Balan, Alexander Kurz, Jiri Velebil: Positive fragments of coalgebraic logics. Logical Methods in Computer Science 11(3) (2015)