Colloquium – David Mortensen (Carnegie Mellon University)