I am a graduate student in the College of Information and Computer Sciences at the University of Masachussets Amherst. My research interests are in the areas of Computer Systems, Formal Methods and Network Security. I work with Professor Eliot Moss.

News

• September 2018 : My paper with Profs Judy Cardell and Dominique Thiebaut has been accepted to HICSS-52.
• August 2018 : I moved my website to Github pages. Very convenient to use Jekyll Markdown.
• July 2018 : I am attending the DeepSpec Summer School 2018 at Princeton University.

Education

BA Honors in Computer Science, Smith College 2012-2016

BS in Engineering Science, Smith College 2012-2016