Elements of Kleene Algebra

This site collects announcements, slides and lecture notes for the course Elements of Kleene Algebra, as taught by me at ESSLLI 2023 in July and August of 2023.


Lecture notes

Thanks to Mike Cruchten and Shuge Rong for reporting errata!

Disclaimer: I do not make any claim to originality over the material discussed in these lecture notes. Each file should contain a section labeled "bibliographical notes", where pointers to the literature are listed. If you feel like I should credit more people, or different people, please get in touch with me and I will do my best to update the notes as soon as possible.