- My Interests
- My Work
- How to Contact Me
- Future Plans
- My Cat and Bunnies
My area of focus in CS is programming languages and software engineering. I am currently most interested in formal modeling, formal verification, program synthesis, and DSLs. I like doing research and working on projects.
Outside of School, I am a national fencing referee who hopes to one day referee at the Olympics. I pass my time by playing computer games, working on various personal projects, and learning new tricks
My main experience is working on the UWPLSE research project Cassius. You can see more about my work on Cassius under My Research.
Email is my preferred method of communication. You can see my email addresses under Contact Me.
I am planning on graduating after Spring 2018, then going to graduate school at the University of British Columbia to pursue a PH.D.
My cat's name is Socrates, Soccers for short. I adopted him from the RASKC in July 2017 when he was about two monthes old. His main interests include watching birds, playing with my bunnies, sleeping, and eating. He is energetic and friendly, and likes to be held and sit on shoulders.
My bunnies are named Honey and Hobbit. Hobbit is the lop, and Honey has her ear sticking up in the picture. They are a bonded pair.