Martin Hofmann's contributions to type theory: Groupoids and univalence

My goal is to give an accessible introduction to Martin's work on the groupoid model and how it is related to the recent notion of univalence in Homotopy Type Theory while sharing some memories of Martin.