Name: Grant Passmore
Title: Some Lessons Learned in the Industrialization of Formal Methods for Financial Algorithms
Abstract: At Imandra Inc. we have pioneered the application of formal methods to financial algorithms. After nearly a decade of R&D and business development, our Imandra automated reasoning system is now in mainstream use at major financial firms such as Goldman Sachs, Itiviti and OneChronos. In these settings, Imandra is relied upon for the design, verification, ongoing auditing and calibration of global financial infrastructure such as trading venues (exchanges and dark pools), smart order routers and FIX connectivity between trading systems. Getting to this point, however, was not an easy road. When we began, we faced a collection of simultaneous challenges. In this talk, we shall discuss these challenges and our solutions, with an eye towards open problems and the future.
Bio: Grant Passmore is co-founder and co-CEO of Imandra. Grant is a widely published researcher in formal verification and symbolic AI, and has more than fifteen 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, is a graduate of UT Austin (BA in Mathematics) and the Mathematical Research Institute in the Netherlands (Master Class in Mathematical Logic), and is a Life Member of Clare Hall, University of Cambridge.