COMP 1020: Programming For All 2
[Fall '25]
"Programming is just another word for the lost art of thinking." -Aaron Hsu
CS 1960: Undergrad Seminar: Success in Computing
[Fall '25]
Undegraduate "boot camp" seminar on how to make the most of your time as a University of Utah student in CS / Computing.
Led by Alyssa Phillips and the amazing team of student advisors.
I am the mere faculty liason who finds speakers, panelists, etc.
CS 7396: Seminar: Types, Inference, and Proof Search
[Spring '25]
Curry--Howard and beyond
Write your own compiler from JPL to assembly.
Seminar: Lectures on the Curry--Howard Isomorphism
[Summer '24]
Let's read a classic textbook.
CS 6110/5110: Software Verification
[Spring '24]
Learn verification tools. Read classic papers. Start a research project.
CSCI 2950-X: Topics in PL and Systems: Tables and Humans
[Spring '21]
Seminar on two topics: language (especially type system) support for
programming with tables, and human factors in programming languages.
CS 4500: Software Development
[Fall '20]
The biggest software development yet at Northeastern:
three sections, two instructors, tens of staff, one on-campus secretary (me), and over 100 students.
CS 4500: Software Development
[Fall '18]
Pair programming, code walks, client / server game.
CS 3500: Object-Oriented Design
[Spring '16]
Java, music editor, partners, code swaps.