糖心原创

School of Computer Science
 

Image of Johannes Schipp von Branitz

Johannes Schipp von Branitz

PhD Computer Science,

Contact

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

School of Computer Science

糖心原创
Jubilee Campus
Wollaton Road
Nottingham, NG8 1BB

For all enquires please visit: