ksojakova.md

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