Computer Laboratory

OCaml Labs

Project Members

OCaml Labs is situated at the University of Cambridge Computer Laboratory, and collaborates with a wide variety of industrial partners, primarily Jane Street, Horizon and Citrix. We also work closely with OCamlPro on community software projects, and maintain the ocaml.org infrastructure.

University of Cambridge Computer Laboratory

Core Members

Anil Madhavapeddy
Principal Investigator
Alan Mycroft
Principal Investigator
Ian Leslie
Principal Investigator
Jon Crowcroft
Principal Investigator
Amir Chaudhry
Program Manager
Leo White
Research Associate
Jeremy Yallop
Senior RA
Philippe Wang
Research Associate
Stephen Dolan
PhD candidate
Balraj Singh
PhD candidate
Heidi Howard
Research Assistant
Raphael Proust
PhD Student
Vsevolod Stakhov
PhD Student
David Sheets
Research Assistant
Thomas Gazagnaire
Senior RA

Internal Collaborators

Haris Rotsos
PhD Student
Timothy G. Griffin
Reader
Robert Watson
Lecturer
Alastair Beresford
Lecturer
Gabor Pali
Summer visitor (2012,2013)

External Partners

Citrix

Euan Harris
Visitor
Dave Scott
Xen Architect
Jonathan Ludlum
Software Engineer
Lars Kurth
Community Manager

INRIA

Fabrice Le Fessant
Scientist
Xavier Leroy
Galium team leader
Xavier Clerc
Researcher

OCamlPro

Pierre Chambart
Louis Gesbert

Jane Street Capital

Yaron Minsky
Head of Quantitative Research and Technology
Mark Shinwell
Quantitative Researcher

Horizon

Derek McAuley
Professor of Digital Economy
Richard Mortier
Lecturer

New York University

Ashish Agarwal
Research Scientist

Universite de Mons, Belgium

Christophe Troestler

Google

Jason Hickey
Software Engineer

Former Members

Steven Hand
Reader
Bogdan-Alexandru Matican
ACS Student (2013)
George Parisis
Research Associate
Vincent Bernardoff
Research Intern (2013)
Daniel Bünzli
Software Engineer
Vincent Botbol
Masters Student

Funding

OCaml Labs is primarily funded by Jane Street with a platform grant. It is also supported by Citrix Systems R&D. There are also several research grants associated with OCamlLabs: