Alexander Kurz

Alexander Kurz
Home-educating parent, Professor of Computer Science at Chapman University
Researcher in logic, category theory, and computer science
Formerly University of Leicester, CWI Amsterdam, Masaryk University Brno, LMU Munich
Google Scholar, DBLP, Mathstodon, Nostr1
Reading List

But then there are the children, and what am I to do about them? That’s a question I can’t answer. […] Tell me yourself, I challenge you—–answer. Imagine that you are creating a fabric of human destiny with the object of making men happy in the end, giving them peace and rest at last, but that it was essential and inevitable to torture to death only one tiny creature—that baby beating its breast with its fist, for instance—and to found that edifice on its unavenged tears, would you consent to be the architect on those conditions? Tell me, and tell the truth.

Dostoyevsky, Brothers Karamasov, Rebellion, pages 296-309

In early 2021, the University of Leicester threatened with redundancy some of the best mathematicians and computer scientists I know, former colleagues of mine. By the end of the academic year, if I counted correctly, 16 academics in mathematics and computer science either left their job “voluntarily” or were made redundant … more

Ongoing Petitions: AberdeenKent … A recent article on the ongoing decline of British academia.


PhD students


Full Courses: Algorithm Analysis (Spring 2024), Programming Languages (Fall 2023), Compiler Construction (Spring 2022),
1/3 Courses: Logic (Spring 2024), Smart Contracts (Spring 2023), NLP (Spring 2022),
Short Courses: Automata and Haskell and Monads in Mathematics and Haskell


High-School Students
Undergraduate Projects
Postgraduate Students


Airquality in Orange, CA,
Predatory Publishers
Mathematical Genealogy, see here and here
How to make the simplest possible webpage

  1. I am not much on social media, but I am interested in decentralized social media such as Mastodon, Solid, Nostr and others.