Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • patch-1
2 results

ksojakova.md

Blame
    • Forked from KWARC / kwarc.info / www
    912 commits behind the upstream repository.
    ksojakova.md 288 B 
    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