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
Jaromil: “Are we developing tech for machines to perceive us or are we developing tech for people to understand machines?”
Jaron Lanier: “And so I can’t call these things social networks anymore. I call them behavior modification empires. … I don’t believe our species can survive unless we fix this. We cannot have a society in which, if two people wish to communicate, the only way that can happen is if it’s financed by a third person who wishes to manipulate them.”
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
Student Projects
Postgraduate teaching
(miscellanea)
Airquality in Orange, CA, aqmd.gov/aqimap
Predatory Publishers
Mathematical Genealogy, see here and here
How to make the simplest possible webpage
