Distinguished Lecture Series 2009-2010

"The PlusCal Algorithm Language"

Tuesday, April 20, 2010 - 5:30pm - 7:30pm

W.T.Young Library Auditorium [info]

Leslie Lamport
Researcher, Microsoft Corporation

"The Challenge of Pervasive Software to the Conventional Wisdom of Software Engineering"

Wednesday, March 24, 2010 - 5:30pm - 7:30pm

Mary Shaw
School of Computer Science
Carnegie Mellon University


Abstract:

The conventional wisdom of software engineering holds that software systems are developed by software professionals, that they have knowable (if evolving) requirements, that project managers control system configurations, that results can be computed directly, and that the systems can, at least in principle, be validated.

"Reconceptualizing Security"

Monday, September 14, 2009 - 5:30pm - 7:30pm

Bruce Schneier
Chief Security Technology Officer, BT.