Ask HN: Who is using Common Lisp in an educational/university setting?

I am also interested in finding this out. So far, I've done a lot of teaching/training with Java but I am playing with Common Lisp and would love to see how others use it in education

I always find this article[1] interesting that talks about why MIT stopped using Lisp

[1] https://www.wisdomandwonder.com/link/2110/why-mit-switched-f...