Dr Grant Olney Passmore

Researcher at Department of Computer Science and Technology, University of Cambridge


Grant is a researcher in Automated Theorem Proving and Formal Verification. He is also Co-Founder and Co-CEO, Aesthetic Integration, London. This startup is applying formal verification to ensuring the safety, fairness and transparency of financial algorithms. Much recent work has been on the analysis of trading algorithms (including exchange and dark pool matching logics) for order pricing and priority fairness and MiFID-II, US Reg AT and Reg ATS-N compliance.