Great research and great teaching can and should go hand-in-hand. I have years of teaching experience with high praise in areas closely related to my research, and am always looking for new ways to bring teaching and research closer together.

Cyber-Physical Systems (15-424)

In Spring 2017 I am serving as teaching assistant for 15-424 Foundations of Cyber-Physical Systems, in which we teach students to formally model and verify cyber-physical systems in differential dynamic logic using the proof assistant KeYmaera X. I am broadly interested in using this opportunity to explore new modes of proof assistant interaction that improve usability and accessibility, including new proof languages, input methods, visualizations and simulations.

Functional Programming (15-150)

I have extensive experience teaching functional programming at the introductory level. I served as a teaching assistant for the functional programming course 15-150 Principles of Functional Programming for a total of 5 semesters from 2012 through 2014. As a senior teaching assistant, I mentored and trained junior assistants and took on a significant role in the revision of homework assignments. Our class size often exceeded 200 students.

This culminated in serving as the sole lecturer for the Summer '16 instance of the course with 38 students, where we taught a full semester worth of material in 6 weeks, with 5 lectures and 2 lab sessions per week. In addition to lecturing daily, I managed a course staff of 3 assistants, assisted students extensively on the Piazza Q&A platform and in office hours, wrote exams and revised homework assignments. My course had an average course evaluation of 4.83/5.00, approximately the 90th percentile within the CS department. Selected comments from students' course evaluations are below.

15-150 Summer '16 Course Evaluations

Brandon is a great guy! He shows a genuine interest in the course material and he's really dedicated to every student's learning of the material.

Brandon is an engaging lecturer who knows his material. His explanations on Piazza are always very helpful. This has been easily my favorite CS class so far (taken/taking 15-112, 15-122 and 15-213). #FunctionAreValues

Thanks for teaching the course Brandon. I went in not being sure if you'd be a good teacher due to you being a grad student, but I was convinced shortly thereafter that you are just as capable of teaching 150 as any actual professor. Keep up the good work and good luck with your goals.

The teacher was cared about the students' learning, was very understanding. He was also very knowledgeable of the material.

Future Interests

In the long term, I am interested in developing two new classes: a short Isabelle/HOL course based on my experience learning to Isabelle, and a broad programming languages and formal methods elective at either the graduate or undergraduate level, with the goal of demonstrating the value of our field to a wider audience. If you are interested in discussing or developing these courses, contact me.