I graduated with a Ph.D. in Computer Science from the University of California, Berkeley, where I was advised by Professor Sanjit A. Seshia. Check out my dissertation in pdf or html formats. You can play with the small modelling language that I created for my thesis by cloning this git repository.