In Person and Virtual - ET - Panther Hollow Conference, Mehrabian Collaborative Innovation Center 4105
ARLEN COX, ANDREW RUEF
Arlen Cox, Research Staff Member, Institute for Defense Analyses / Center for Computing Sciences, Andrew Ruef, Computer Scientist, Department of Defense
Program Analysis in the Face of Uncertainty
Arlen Cox is a research staff member at the Institute for Defense Analyses / Center for Computing Sciences whose PhD focused on abstract interpretation, static analysis, formal methods, and programming languages. Andrew Ruef is a computer scientist at the Department of Defense whose PhD focused on software security and programming languages.
Faculty Host: David Brumley
In Person and Zoom Participation. See announcement.