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 |
 |
| George Parisis Research Associate |
|
| Euan Harris Visitor |
Internal Collaborators
 |
| Steven Hand Reader |
 |
| Haris Rotsos PhD Student |
 |
| Timothy G. Griffin Reader |
 |
| Robert Watson Senior RA |
 |
| Alastair Beresford Lecturer |
|
| Bogdan-Alexandru Matican ACS Student (2013) |
 |
| Gabor Pali Summer visitor (2012) |
External Partners
Citrix
 |
| Dave Scott Xen Architect |
 |
| Vincent Bernardoff Research Intern |
 |
| Jonathan Ludlum Software Engineer |
 |
| Lars Kurth Community Manager |
 |
| Daniel Bünzli Software Engineer |
INRIA
OCamlPro
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 |
Université Pierre et Marie Curie, Paris
 |
| Vincent Botbol Masters Student |
Universite de Mons, Belgium
 |
| Jason Hickey Software Engineer |
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:
- RCUK Horizon Digital Economy Research Hub grant, EP/G065802/1.
- EU FP7 Trilogy2 project.
