His projects will include work on his National Science Foundation grant covering how to use math and logic to prove the correctness of new software, teaching a computing course, and work related to teaching and learning, including peer review of faculty, learning outcomes, and class and program assessment.