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.


(research)

Projects
Publications
Talks
PhD students


(teaching)

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),
Software
Short Courses: Automata and Haskell and Monads in Mathematics and Haskell


(mentoring)

High-School Students
Undergraduate Projects
Postgraduate Students


(miscellanea)

Airquality in Orange, CA, aqmd.gov/aqimap
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.