BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:High-Assurance Algorithmic Trading - Dr. Hasan Amjad\, Cantab Capi
 tal Partners
DTSTART:20130227T141500Z
DTEND:20130227T151500Z
UID:TALK42371@talks.cam.ac.uk
CONTACT:Stephen Clark
DESCRIPTION:Algorithmic trading is the computerised buying and selling of 
 assets\non electronic markets. Recent widely reported bugs in high-frequen
 cy trading\nalgorithms\, that cost companies hundreds of millions of dolla
 rs in a matter of\nminutes\, have focused attention on the risks of machin
 e-driven trading. We\ndescribe an on-going attempt at using formal verific
 ation techniques to create\na high-assurance algorithmic trading platform\
 , the challenges we faced\, and\npossible directions for research.\n\nSpea
 ker bio: Hasan got his PhD at the Automated Reasoning Group at the Compute
 r\nLaboratory in 2004\, continuing as a post-doctoral researcher. He joine
 d\nCantab Capital Partners\, a systematic hedge fund based in Cambridge\, 
 in\n2008.
LOCATION:Lecture Theatre 1\, Computer Laboratory
END:VEVENT
END:VCALENDAR