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, Nostr^{1}

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: Aberdeen … Kent … 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