Functions and Relations

Abstract: This teaching demo will introduce relations, a generalization of functions with applications in hashing, sorting, and more. Attendees are encouraged to roleplay students in INFO 150 (A Mathematical Foundation for Informatics).

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.