I'm a 5th year PhD at Princeton University. At VMware research, I'm exploring property verification on RNN.
