Today’s lecture will be given by a special guest!

I am pleased to be able to welcome a special guest to deliver today’s lecture: Dr John McHugh, an expert in formal methods and their application to security-critical systems. Dr McHugh has done interesting things in all kinds of places, including universities, the CERT Coordination Center and various branches of the United States Government. When I learned that he was in town, I couldn’t pass up the opportunity to have him in. This is going to be an interesting talk; I look forward to seeing you there and hearing what kinds of questions you have!

And yes, I am likely to ask you something about this topic on the final exam. 😉