Skip to: Main Content Search Navigation Secondary Navigation

Seminar on software verification Nov. 24

Nov 24, 2014 at 3:05 PM
Stocker Center 103

Gordon Stewart, a doctoral candidate in computer science at Princeton University, will present a seminar on software verification methods on Mon., Nov. 24, at 3:05 p.m. in Stocker Center 103.

Stewart, who studies the fields of software verification, programming languages, networks and software security, is an assistant professor of computer science candidate.

Questions? Denise Cribben,