Professor, Fowler School of Engineering
Email: akurz@chapman.edu
https://alexhkurz.github.io
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.