University of Cambridge > Talks.cam > Computer Laboratory Wednesday Seminars > High-Assurance Algorithmic Trading

High-Assurance Algorithmic Trading

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Stephen Clark.

Algorithmic trading is the computerised buying and selling of assets on electronic markets. Recent widely reported bugs in high-frequency trading algorithms, that cost companies hundreds of millions of dollars in a matter of minutes, have focused attention on the risks of machine-driven trading. We describe an on-going attempt at using formal verification techniques to create a high-assurance algorithmic trading platform, the challenges we faced, and possible directions for research.

Speaker bio: Hasan got his PhD at the Automated Reasoning Group at the Computer Laboratory in 2004, continuing as a post-doctoral researcher. He joined Cantab Capital Partners, a systematic hedge fund based in Cambridge, in 2008.

This talk is part of the Computer Laboratory Wednesday Seminars series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2020 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity