Welcome Alex Kavvos

On August 1, Alex Kavvos joined CPV as Postdoc. Alex studied Computer Science at the University of Oxford and completed a DPhil (PhD equivalent) in 2017. Following that, he moved to New England to work at Wesleyan University as a postdoc in Homotopy Type Theory. Alex is interested in the logical foundations of programming languages and computing at large. Welcome!