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/