Classes

Course Title Semester
C S 330 Concepts of Programng Lang Winter 2025
C S 601R Graduate Topics in C S Winter 2025
C S 330 Concepts of Programng Lang Fall 2025
C S 430 Formal Verification Fall 2025
C S 330 Concepts of Programng Lang Winter 2026
C S 601R Graduate Topics in C S Winter 2026
C S 330 Concepts of Programng Lang Fall 2026
C S 430 Formal Verification Fall 2026

Students

Preston Corless
MS
Chahyun Kang
PhD
Tim Whiting
PhD
Alec Davis
Research Assistant, Entry
Andrew Slade
Research Assistant, Entry
Donovan Bly
Research Assistant, Entry
Quade Barnes
Research Assistant, Entry
Nathaniel Gerlek
Research Assistant, Mid-level