Lisa Oakley
PhD Student
- Adversarial Robustness of Machine Learning and Formal Methods (specifically the formal verification of adversarial robustness properties for larger systems which include machine learning components)
- Reinforcement Learning (applications to Game theory for Security)
- BS in Mathematics and Computer Science, Northeastern University