Talk by Prof. Alex Potanin
Prof. Alex Potanin (Victoria University of Wellington) gave two talks in our research group. Prof. Potanin is a developer of Wyvern, a cyber security-oriented programming language.
Talk 1: Wyvern – Security by Design
Talk 2: Decidable Subtyping for Path Dependent Types