lisaoakley
PhD student at Northeastern University working with Professors Alina Oprea and Stavros Tripakis on formal verification and machine learning.
lisaoakley's Stars
neuppl/rsdd
Performant and safe knowledge compilation in rust
khourywomengroup/khourywomengroup.github.io
Limmen/awesome-rl-for-cybersecurity
A curated list of resources dedicated to reinforcement learning applied to cyber security.
ccisphdwomen/ccisphdwomen.github.io
CCIS PhD Women Group Page
cloudfoundry/bosh-agent
BOSH Agent runs on each BOSH deployed VM