---

I am a PhD student in CSAIL working in Computer Aided Programming and Software Design Groups. I am interested in programming languages, light-weight formal methods, verification, decision procedures, and program synthesis. I am advised by Prof. Armando Solar-Lezama.

In the past, I have completed MEng degree from MIT under supervision of Prof. Daniel Jackson and had a great time working with Prof. Viktor Kuncak at EPFL.

Publications

1. Kuat Yessenov, Ruzica Piskac, Viktor Kuncak. Collections, Cardinalities, and Relations. VMCAI 2010. Madrid, Spain.
2. Derek Rayside, Aleksander Milicevic, Kuat Yessenov, Greg Dennis, and Daniel Jackson. Agile Specifications. OOPSLA Onward 2009. Orlando, Florida.
3. Kuat Yessenov. A Light-weight Specification Language for Bounded Program Verification. MEng thesis, May 2009.[PDF]
4. Greg Dennis, Kuat Yessenov, Daniel Jackson. Bounded Verification of Voting Software. VSTTE 2008. Toronto, Canada.[PDF]

Teaching

I was a teaching assistant for 6.005 Elements of Software Construction in Spring 2009 and Fall 2008.

Projects

I am (or was) involved in the following projects:

• JForge Eclipse plug-in - bounded verification tool for annotated Java programs. This became the topic of my MEng thesis.
• JMLForge - JML front-end for Forge which I worked on as an undergraduate.
• Course projects.

Other Stuff

• GPG public key.