I’m primarily a research assistant, but from time to time I teach individual classes or parts of courses. Slides from these talks can be found here.
- Fall 2015: CIS 505/705 — Introduction to Programming Languages (Functional Paradigm with SML)
- Nov 4, 2014: The PCA Interlock App in AADL. A walkthrough of the PCA Interlock application for graduate students in a course on high assurance software.
- Sep 16, 2014: Introduction to Source Control with git. A short introduction to source control to K-State ACM.