Fan of Scala since 2008. Organized Bay Area Categories and Types meetup. Was an organizer of Scala Bay. Gave talks at Lambda Conf. Taught Logic and Formal Methods at Santa Clara University.