Some of the content on this website requires JavaScript to be enabled in your web browser to function as intended. This includes, but is not limited to: navigation, video, image galleries, etc. While the website is still usable without JavaScript, it should be enabled to enjoy the full interactive experience.

Dr. Alexander Kurz

Dr. Alexander Kurz

Professor

Electrical Engineering and Computer Science; Schmid College of Science Other Programs

Fowler School of Engineering
Schmid College of Science and Technology

Email:akurz@chapman.edu

Recent Creative, Scholarly Work and Publications: Alexander Kurz, Wolfgang Poiger, Bruno Teheux, New perspectives on semi-primal varieties, Journal of Pure and Applied Algebra, Volume 228, Issue 4, April 2024; 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).; 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.; Hao Zeng, Alexander Kurz, Emilio Tuosto: Interface Automata for Choreographies. ICE 2019: 1-19; Samuel Balco, Alexander Kurz: Nominal String Diagrams. CALCO 2019 (Best Paper Award); 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); Alexander Kurz, Jiri Velebil: Relation lifting, a survey. J. Log. Algebr. Meth. Program. 85(4): 475-499 (2016); 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); 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)