lisaoakley

PhD student at Northeastern University working with Professors Alina Oprea and Stavros Tripakis on formal verification and machine learning.