Primary Job Title Co-Founder & Co-CEO Primary Organization Imandra
Location Austin, Texas, United States Regions Southern US Gender Male
Website www.cl.cam.ac.uk/~gp351/ LinkedIn View on LinkedIn
Grant Passmore has more than ten years’ industrial formal verification experience. He has been a key contributor to safety verification of algorithms at Cambridge, Carnegie Mellon, Edinburgh, Microsoft Research and SRI. He earned his PhD from the University of Edinburgh and is a Life Member of Clare Hall, University of Cambridge.
