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
- Kuat Yessenov, Ruzica Piskac, Viktor Kuncak. Collections, Cardinalities, and Relations. VMCAI 2010. Madrid, Spain.
- Derek Rayside, Aleksander Milicevic, Kuat Yessenov, Greg Dennis, and Daniel Jackson. Agile Specifications. OOPSLA Onward 2009. Orlando, Florida.
- Kuat Yessenov. A Light-weight Specification Language for Bounded Program Verification. MEng thesis, May 2009.[PDF]
- 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:
Other Stuff
© Kuat Yessenov (Kuat Esenov, Kuat Yesenov, Куат Есенов) 2009