CyLab Seminar: Arlen Cox, Andrew Ruef

September 06, 2023

12:00 p.m. ET

Zoom or 4th floor CIC -Panther Hollow 4105

Arlen Cox

Arlen Cox

*Please note this CyLab seminar is open only to Carnegie Mellon University faculty, students and staff.

Speakers:

  • Arlen Cox - Researcher, Institute for Defense Analyses / Center for Computer Sciences
  • Andrew Ruef - Computer Scientist, Department of Defense

Talk Title: Program Analysis in the Face of Uncertainty

Bio: 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.

Upcoming Events