*Please note this CyLab seminar is open only to Carnegie Mellon University faculty, students and staff.
- 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.
October 3-5 2023
CyLab Security and Privacy Institute
IN PERSON AT CARNEGIE MELLON UNIVERSITY (WITH SOME ASPECTS LIVESTREAMED AND RECORDED)