CFEM Seminar - Title: "Automated Reasoning for Safety and Fairness of Financial Algorithms" | Grant Passmore & Denis Ignatovich | Aesthetic Integration, Ltd.
Modern financial markets are built on a staggeringly complex tangle of algorithms. The effects of glitches and unfair advantages can be devastating, cratering the confidence of investors and hurting the general public. Regulators and the industry have worked tirelessly to define what safe and fair markets are. What's been missing is a way to analyze and regulate the algorithms underlying them. The solution is Formal Verification, the use of deep advances in mathematical logic to automatically reason about code and prove properties of programs. Other safety-critical industries like avionics and microprocessor design already rely on Formal Verification to make their algorithms safe. At Aesthetic Integration, we're bringing Formal Verification to market safety and fairness for the first time.
Denis Ignatovich and Grant Passmore are Cofounders of Aesthetic Integration, Ltd.
Denis Ignatovich has nearly a decade of experience in trading, risk management, quantitative modeling and complex trading system design at a Wall Street investment bank. He holds degrees in Computer Science and Finance from the University of Texas at Austin and is completing an MSc in Finance at the London School of Economics.
Grant Passmore has ten years' industrial formal verification experience, and 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.