This semester I am teaching four courses:
- Explorations (1/4-credit intro to college course for first-year students)
- Foundations of Computer Science
- Senior Seminar
Just one week of classes left!
In the fall of 2021 I started developing a game called Swarm and built a small open-source community around its development. So far we have made a couple official alpha releases. Now switching gears to mentor and give feedback to new contributors, and start thinking again about some bigger, long-term goals for the project.
I continue to develop disco, a functional teaching language for discrete mathematics. I have a student working on it as a thesis project this year, and we’ve been thinking about ways to improve the experience around propositions and proofs. I’ve also started working on a paper about the language to submit to TFPIE.
I enjoy solving problems on Open Kattis, for fun, learning, and as preparation for teaching Algorithms and coaching the Hendrix programming team.
I’ve been continuing my series of blog posts on how to solve competitive programming problems in Haskell, and am in the very early stages of turning the material into a book.
I am now the chair of the Committe on Academic Integrity. As part of that role, I have been working on developing a document with reflections and resources to help faculty navigate issues of academic dishonesty.
Things I’m reading right now: