Pierre Cagne's picture

Pierre Cagne

  • E-mailPierre.Cagne@uib.no
  • Visitor Address
    HIB - Thormøhlensgt. 55
  • Postal Address
    Postboks 7803
    5020 Bergen

My research areas are categorical homotopy theory and type theory in univalent foundation. I'm currently involved in a project emphasizing the geometrical aspects of group theory by implementing groups directly through the ihnerent notion of symmetry in type theory (as elements of a=a for a point a in a type).

"Computational Aspects of Univalence", RCN's project 240810

Fields of competence