Johannes Schipp von Branitz

Contact

• workRoom C41 Dearing Building
  Jubilee Campus
  Wollaton Road
  Nottingham
  NG8 1BB
  UK
• Johannes.SchippvonBranitz@nottingham.ac.uk
• https://www.jsvb.xyz

Biography

https://orcid.org/0000-0002-9057-1928

Expertise Summary

Homotopy Type Theory, Cubical Type Theory, Topos Theory, Meta Theory of Type Theory

Teaching Summary

https://jsvb.xyz/teaching/

Research Summary

See https://jsvb.xyz