Kristina Sojakova PhD Student Computer Science Department Carnegie Mellon University Pittsburgh, PA 15213 USA

• Office: GHC 6603
• Email: kristinas AT cmu.edu
• Phone: (412) 425-0848

• My advisor is Frank Pfenning and I collaborate with Steve Awodey. My primary involvement at the moment is in the Homotopy Type Theory project.
• My interests include type theory, category theory, categorical logic, mathematical logic, programming languages, functional programming, and deductive systems.
• My publications can be found here.

• My CV can be found here.