Registered user since Fri 26 Nov 2021

Name:Oliver Nash
Affiliation:Imperial College, London
Personal website: http://olivernash.org
Research interests:Geometry, Formalisation of mathematics

Contributions

Show activities from other conferences

POPL 2023-profile
View general profile