2266 TMCB
Office Hours: Mondays and Wednesdays 2:00-3:00pm or by appointment
Phone: 801-422-6467
kimball@cs.byu.edu
| 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 |
