Computer Science Faculty Recruiting Colloquium
Ben Cosman
ABSTRACT
I will begin with a teaching demonstration by giving a class on induction. Attendees are encouraged to take on the role of students in a Discrete Mathematics course who have just been introduced to mathematical induction the previous week. This class will build on that foundation by discussing common pitfalls in inductive proofs and introducing structural induction. Following the teaching demonstration, I will give a brief overview of my outreach, my research on refinement types and data-driven debugging for novices, and my pedagogical plans.
BIO
Benjamin Cosman received a BS from Caltech in 2014 and is a PhD candidate in Computer Science at UC San Diego. His research has focused on making it easier to avoid bugs in programming, currently through machine learning and previously through refinement type systems. Benjamin founded UC San Diego's Splash outreach program in 2016, and has participated in many other K-12 outreach activities including mentoring a Girls Who Code club and a Mathcounts team. In 2018, Benjamin won his department's annual Doctoral Award for Teaching Excellence.
