Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Grant Passmore
conf.researchr.org general profile
ICFP 2019 profile
POPL 2020 profile
SPLASH 2023 profile
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
Share
x
Mon 23 Dec 06:34