---
layout: person

title: Kristina Sojakova 
fullname: M.Sc. Kristina Sojakova 

role: master-student
start_date: 2008-09
end_date: 2010-08

website: http://www.cs.cmu.edu/~ksojakov/
affiliation: Carnegie Mellon University
---

### Thesis Title
Mechanically Verifying Logic Translations