Kristina Sojakova

Kristina Sojakova

Assistant Professor

VU Theoretical Computer Science

Interests
  • programming languages
  • security and privacy
  • formal verification
  • type theory