Imandra
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 Ph.D. from the University of Edinburgh and is a Life Member of Clare Hall, University of Cambridge.
Imandra
2 followers
Imandra is a cloud-scale automated reasoning system bringing rigor and governance to the world's most critical algorithms.