---
layout: person
title: Kristina Sojakova 
fullname: Kristina Sojakova 
role: master-student
start_date: 2008-09
end_date: 2010-08
---
### Thesis Title
Mechanically Verifying Logic Translations
### Home Page
http://www.cs.cmu.edu/~ksojakov/