Kiran Gopinathan

Registered user since Thu 31 Jan 2019

Name:Kiran Gopinathan
Country:United Kingdom
Affiliation:University College London
Research interests:Formal Logic, Deep Learning

Contributions

CoqPL 2019 Author of Towards Mechanising Probabilistic Properties of a Blockchain within the CoqPL-track