[Skunkworks] lecture by Randal Bryant, Dean, Carnegie Mellon University School of Computer Science