ksojakova.md

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/