Events / CIS Colloquium: Michael Carbin