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
Stephen Dolan
PhD candidate
Balraj Singh
Visitor
Heidi Howard
Research Assistant
Raphael Proust
PhD Student
Vsevolod Stakhov
PhD Student
David Sheets
Research Assistant
Thomas Gazagnaire
Senior RA
Richard Mortier
Lecturer
Gregory Tsipenyuk
PhD Student
Magnus Skjegstad
Research Associate
Thomas Leonard
Senior RA
KC Sivaramakrishnan
Research Associate

Internal Collaborators

Haris Rotsos
PhD Student
Timothy G. Griffin
Reader
Robert Watson
Lecturer
Alastair Beresford
Lecturer
Gabor Pali
Summer visitor (2012,2013)
Daniel Bünzli
Software Engineer
Hannes Mehnert
Intern
Benjamin Farinier
Summer visitor
Matthieu Journault
Summer visitor
Frederic Bour
Summer visitor
Nicolas Ojeda Bar
Research Associate
Stephen Kell
Student
Mindy Preston
Visitor
Carlos Molina-Jimenez
Research Associate
Mounir Nasr Allah
Summer visitor

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
David Kaloper
Intern

New York University

Ashish Agarwal
Research Scientist

Universite de Mons, Belgium

Christophe Troestler

Google

Jason Hickey
Software Engineer

Former Members

Philippe Wang
Research Associate
Steven Hand
Reader
Bogdan-Alexandru Matican
ACS Student (2013)
George Parisis
Research Associate
Vincent Bernardoff
Research Intern (2013)
Vincent Botbol
Masters Student
Sebastian Funk
Student
Andy Ray
Visitor
Yan Shvartzshnaider
Research Associate

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: