Grant Passmore -

Registered user since Mon 22 Jul 2019

Name:Grant Passmore

Affiliation:Imandra Inc.

Personal website: https://www.cl.cam.ac.uk/~gp351/

Contributions

2023

LOPSTR

Author of Towards a Certified Proof Checker for Deep Neural Network Verification within the LOPSTR 2023-track

2020

Symposium on Practical Aspects of Declarative Languages

Invited Speaker of Panel: Experience and Direction within the PADL 2020-track
Author of Invited Talk: An Introduction to the Imandra Automated Reasoning System within the PADL 2020-track

2019

ML

Invited Speaker of Keynote: An Introduction to the Imandra Automated Reasoning System within the ML 2019-track