Brandon Williams – Proof in Functions

Proof in Functions

A programming language with a sufficiently advanced type system allows us to explore a beautiful idea that straddles the line between mathematics and computer science. The type system can be used to prove mathematical theorems. We’ll use Apple’s new language, Swift, and interactive playgrounds to explore this idea and come face-to-face with the strange fact that sometimes the compiler can write our code for us.

About Brandon Williams

Brandon Williams is a mathematician that works as an engineer at Kickstarter. He’s worked primarily on iOS for the past 3 and a half years, but also contributed to discovery and mobile for the website.


Can't join us in person? This event will be streamed at 7pm Eastern.

Event Details

Wednesday, Jun 17, 2015

6:30-7:00 pm: Registration
7:00-8:00 pm: Presentation
8:00-9:00 pm: Social Hour

Code as Craft participants are expected to abide by our Code of Conduct.