Grant Passmore, "Formal Verification of Financial Algorithms with Imandra" | Johns Hopkins IAA

Colleagues of the Applied Physics Laboratory and the Whiting School of Engineering are invited to the November talk in a speaker series co-presented by the Johns Hopkins Institute for Assured Autonomy (IAA) and the Computer Science Department, featuring national scholars presenting new research and development at the intersection of autonomy and assurance.

This talk will be “Formal Verification of Financial Algorithms with Imandra” featuring speaker Grant Passmore, co-founder and Co-CEO of Imandra Inc., presenting in JHU’s Malone Hall 228 on Tuesday, November 14th at 10:45 a.m.

Dr. Passmore’s abstract and bio are attached. This event is open to all APL and JHU staff, faculty, and students; please share!

ABSTRACT:
Many deep issues plaguing today’s financial markets are symptoms of a fundamental problem: The complexity of algorithms underlying modern finance has significantly outpaced the power of traditional tools used to design and regulate them. At Imandra, we have pioneered the application of formal verification to financial markets, where firms like Goldman Sachs, Itiviti and OneChronos already rely upon Imandra’s algorithm governance tools for the design, regulation and calibration of many of their most complex algorithms. With a focus on financial infrastructure (e.g., the matching logics of national exchanges and dark pools), we will describe the landscape, and illustrate our Imandra system on a number of real-world examples. We’ll sketch many open problems and future directions along the way.

About the Johns Hopkins Institute for Assured Autonomy: Led by APL and the Whiting School of Engineering, the IAA is becoming a nationally recognized center of excellence in autonomous systems, showcasing the robust portfolio of research and work from two premier divisions of JHU and creating strategic external partnerships. The IAA seeks to ensure the safe, secure, and reliable integration of autonomous systems and artificial intelligence (AI) in society. As autonomous systems proliferate, both physically and virtually, the institute seeks to ensure the systems will be trusted and safe in their operations, will withstand corruption by adversaries, and will integrate seamlessly into ecosystems and communities. In this burgeoning field, JHU strives to advance a clear vision for an autonomous future.

Скачать видео