Registered user since Mon 22 Jul 2019
Name: Grant Passmore
Affiliation: Imandra Inc.
Personal website: https://www.cl.cam.ac.uk/~gp351/
|PADL 2020||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
|Show activities from other conferences|
Using general profile