I’m a master’s student in the UW CSE PLSE group. I’m currently working with Dan Grossman, Talia Ringer, and John Leo on new kinds of proof automation to support the evolving nature of formal verification projects in Coq.
As an undergraduate at UW CSE, I was honored to receive research recognition from the CRA and a Washington Research Foundation Fellowship. If you’d like to read more about my undergraduate research experience, an interview is available here.
|Jan 15, 2016||A simple inline announcement with Markdown emoji!|
|Nov 7, 2015||A long announcement with details|
|Oct 22, 2015||A simple inline announcement.|