Dr. 亚历山大Kurz
传记
教育/培训
2000
Ph.D. in 第一版er Science, Dept. of 第一版er Science, Ludwig-Maximilians-Universitaet Muenchen, Germany
1995
Diplominformatiker, Technische Universitaet Muenchen, Germany
1991
Maitrise d’Informatique, Université de Grenoble, France
研究兴趣
Dr Kurz studies models of computation using techniques from logic, 代数, 拓扑结构, category theory and other areas of mathematics. He is known for his work on modal logic and co代数s. 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
-
亚历山大Kurz and 沃尔夫冈Poiger. Many-Valued Co代数ic 日志ic: From Boolean Algebras to Primal Varieties. In 10th Conference on Algebra and Co代数 in 第一版er Science (CALCO 2023).
-
亚历山大Kurz, 沃尔夫冈Poiger, 布鲁诺Teheux, New perspectives on semi-primal varieties, Journal of Pure and Applied Algebra, Online September 2023.
-
Samuel Balco, 亚历山大Kurz: Completeness of Nominal PROPs. 日志ical 冰毒ods in 第一版er Science, 2023.
-
Adriana Balan, 亚历山大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, 亚历山大Kurz: 日志ic-Induced Bisimulations. CoRR abs / 2008.09238 (2020)
-
亚历山大·库尔兹，m.s. Andrew Moshier, Achim Jung: Stone Duality for Relations. CoRR abs / 1912.08418 (2019), accepted for publication.
-
Samuel Balco, 亚历山大Kurz: Nominal String Diagrams. CALCO 2019 (Best Paper Award)
-
Hao Zeng, 亚历山大Kurz, Emilio Tuosto: Interface Automata for Choreographies. 冰2019:1-19
-
Adriana Balan, 亚历山大Kurz, Jiri Velebil: Extending set functors to generalised metric spaces. 日志ical 冰毒ods in 第一版er Science 15(1) (2019)
-
亚历山大Kurz, Jiri Velebil: Quasivarieties and varieties of ordered 代数s: regularity and exactness. Mathematical Structures in 第一版er Science 27(7): 1153-1194 (2017)
-
Octavian Babus, 亚历山大Kurz: On the 日志ic of Generalised Metric Spaces. CMCS 2016: 136-155
-
Sabine Frittella, Giuseppe Greco, 亚历山大Kurz, Alessandra Palmigiano, Vlasta Sikimic: Multi-type display calculus for dynamic epistemic logic. J. 日志. 第一版. 26(6): 2017-2065 (2016)
-
亚历山大Kurz, Jiri Velebil: Relation lifting, a survey. J. 日志. Algebr. 冰毒. 程序. 85(4): 475-499 (2016)
-
马塞洛米. Bonsangue, Helle Hvid Hansen, 亚历山大Kurz, Jurriaan Rot: Presenting Distributive Laws. 日志ical 冰毒ods in 第一版er Science 11(3) (2015)
-
Adriana Balan, 亚历山大Kurz, Jiri Velebil: Positive fragments of co代数ic logics. 日志ical 冰毒ods in 第一版er Science 11(3) (2015)