ÀÖ²¥´«Ã½

Functional Programming Lab
 

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

Functional Programming Lab

The ÀÖ²¥´«Ã½
School of Computer Science
Jubilee Campus
ÀÖ²¥´«Ã½, NG7 1BB


telephone: +44 (0) 115 95 14220
email:fp-lunch@cs.nott.ac.uk