Director at RGM Advisors, a high-frequency trading firm;

Source documents