CyLab Seminar
— 1:00pm
Location:
In Person and Virtual - ET
-
Panther Hollow Conference, Mehrabian Collaborative Innovation Center 4105
Speaker:
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.
Event Website:
https://www.cylab.cmu.edu/events/