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