Lisa Oakley
CV | Google Scholar | GitHub | LinkedIn
oakley.l at northeastern dot edu
Pronouns: she/her
I am a third year PhD Candidate at Northeastern University, advised by Professors Alina Oprea and Stavros Tripakis as a part of the NDS2 lab. My work focuses on formal specification and verification of cybersecurity and privacy problems, as well as verifiable AI systems. I additionally study adversarial machine learning and have background in cloud platforms software, distributed postgres databases, and mobile app development. Check out the Khoury News article about my paper award!
Apart from research interests I do crossword puzzles, perform improv comedy, crochet, and dance. I am also a co-organizer of the Khoury College PhD Women Group.
Education
Ph.D. Computer Science, September 2020-present
Northeastern University, Boston MA
M.S. Computer Science, August 2022
Northeastern University, Boston MA
B.S. Mathematics and Computer Science, December 2018
Northeastern University, Boston MA
summa cum laude
Publications and Presentations
Defining and Controlling Information Leakage in US Equities Trading
Arthur Américo, Allison Bishop, Paul Cesaretti, Garrison Grogan, Adam McKoy, Robert Moss, Lisa Oakley, Marcel Ribeiro, Mohammad Shokri
Manuscript (In Submission) (2023)
[paper]
[blog post]
Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems
Lisa Oakley, Alina Oprea, and Stavros Tripakis
In 35th IEEE Computer Security Foundations Symposium (CSF, FLoC) (2022)
[paper]
[video]
[code]
[project site]
Adversarial Robustness of AI Agents Acting in Probabilistic Environments
Lisa Oakley, Alina Oprea, and Stavros Tripakis
Workshop on Foundations of Computer Security (2020)
[paper]
[video]
QFlip: An Adaptive Reinforcement Learning Strategy for the FlipIt Security Game
Lisa Oakley and Alina Oprea
In Proceedings of the Conference on Decision and Game Theory for Security (GameSec) (2019)
**Outstanding Student Paper Award**
[paper]
[code]
[project site]
Concourse as a Service and Multi-CPI
Trevor Yacovone, Lisa Oakley, Jason Vigil, and Kristofer Macoskey
Pivotal Engineering Journal (2018)
[blog post]
Employment
Quant Researcher
Proof Trading, Inc.
New York, NY
June 2022 - Present
Research Assistant
Northeastern University Cybersecurity and Privacy Institute
Boston, MA
September 2018 - Present
Course Assistant
CS 3000: Algorithms and Data Structures
Boston, MA
Spring & Fall 2018
Software Engineering Intern
VMWare Tanzu Greenplum
Palo Alto, CA
June 2018 - August 2018
Software Engineering Co-op
VMWare Tanzu
New York, NY
July 2017 - December 2017
Course Assistant
CS 2800: Logic and Computation
Boston, MA
Spring 2017
QA Engineering (mobile) Co-op
Asics Digital (Runkeeper)
Boston, MA
July 2016 - December 2016
Administrative Assitant
BNY Mellon Asset Management Company LLC
Boston, MA
October 2015 - June 2016
Public Works Intern
County of Napa
Napa, CA
April - August 2015 & June - September 2014
