CyLab Seminar September 6, 2023 12:00pm — 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/ Add event to Google Add event to iCal
