Kristina Sojakova

Interests: programming languages, security and privacy, formal verification, type theory

← back to all researchers