lisaoakley
PhD student at Northeastern University working with Professors Alina Oprea and Stavros Tripakis on formal verification and machine learning.
Pinned Repositories
wmc_for_privacy_and_accuracy
dtmc_attack_synthesis
gym-flipit
flipit-simulation
lisaoakley.github.io
My Personal Website
Insta_Filter
Instagram filter reverse engineering project for CS 4300
active-search-gp-sopt
implementation of experiments in Yifei Ma, Tzu-Kuo Huang, Jeff Schneider. Active Search and Bandits on Graphs Using Sigma-Optimality. UAI 2015.
actually-dutch
Not almost dutch
claimer
Slack bot for managing locks in a concourse resource pool
d2l-en
Dive into Deep Learning, Berkeley STAT 157 (Spring 2019) textbook. With code, math, and discussions.
lisaoakley's Repositories
lisaoakley/lisaoakley.github.io
My Personal Website
lisaoakley/wmc_for_privacy_and_accuracy
lisaoakley/stormpy
Python Bindings for the Probabilistic Model Checker Storm
lisaoakley/dtmc_attack_synthesis
lisaoakley/prism
The main development version of the PRISM model checker.
lisaoakley/markov-chain
lisaoakley/flipit-simulation
lisaoakley/gym-flipit
lisaoakley/reinforcement-learning
lisaoakley/d2l-en
Dive into Deep Learning, Berkeley STAT 157 (Spring 2019) textbook. With code, math, and discussions.
lisaoakley/python-mongodb-base-image
lisaoakley/workstation-setup
Scripts to automatically set up a machine for development the "Pivotal" way
lisaoakley/claimer
Slack bot for managing locks in a concourse resource pool
lisaoakley/actually-dutch
Not almost dutch
lisaoakley/skele-cli
A skeleton command line program in Python.
lisaoakley/handwritten-digits
lisaoakley/Insta_Filter
Instagram filter reverse engineering project for CS 4300
lisaoakley/DeepLearningPython35
neuralnetworksanddeeplearning.com integrated scripts for Python 3.5.2 and Theano with CUDA support
lisaoakley/h2o-meetups
Presentations from H2O meetups & conferences by the H2O.ai team
lisaoakley/DemoWebApp
lisaoakley/active-search-gp-sopt
implementation of experiments in Yifei Ma, Tzu-Kuo Huang, Jeff Schneider. Active Search and Bandits on Graphs Using Sigma-Optimality. UAI 2015.