People

OCaml Labs is primarily based at the University of Cambridge Computer Laboratory, with a core staff, graduate students, academic visitors and industrial collaborators.

Core

Core operations team that run the place.

David Allsopp

David combines his time as a classical singer with being a Research Associate in the OCaml Labs group at the University of Cambridge Computer Laboratory working principally on Windows OS support both for the OCaml compiler and related platform tooling.

dra27

Gemma Gordon

Gemma is the Operations Director for the OCaml Labs group in the Cambridge Computer Laboratory, and covers day-to-day management, investigates funding opportunities and organises events.

home GemmaG @em3r4ld6

KC Sivaramakrishnan

KC is a Post-doctoral Research Associate under the OCaml Labs initiative at the University of Cambridge Computer Lab, an 1851 Research Fellow and a Research Fellow at Darwin College, Cambridge.

home kayceesrk @kc_srk

Stephen Dolan

Stephen loves to Jam

home stedolan
Faculty

Academic staff that hang out.

Alan Mycroft

Alan is Professor of Computing at the University of Cambridge Computer Laboratory and a Fellow at Robinson College, Cambridge.

home

Anil Madhavapeddy

Anil is an engineer at Docker, and a University Lecturer at the University of Cambridge (currently on leave), and also a Fellow of Pembroke College where he is Director of Studies of Computer Science.

home avsm @avsm

Jon Crowcroft

Jon is the Marconi Professor of Communications Systems at the Computer Lab, Cambridge, and a Fellow of Wolfson College, Cambridge.

home @tforcworc

Ian Leslie

Ian is a Professor of Computer Science at the University of Cambridge Computer Laboratory with interests in operating systems, distributed systems and networks.

home

Richard Mortier

Mort is a Fellow at Christ’s College, Cambridge and a University Lecturer in NetOS, part of the Systems Research Group in the University of Cambridge Computer Laboratory. Prior to December 2014 he was a Horizon Transitional Fellow in Computer Science with the Horizon Digital Economy Research Institute at the University of Nottingham. Following the acquisition of Unikernel Systems he now contracts with Docker.

home mor1 @mort___
Post Docs

Post doctoral researchers in the Computer Laboratory working with OCaml Labs.

Hannes Mehnert

Hannes is a hacker (in the original sense of the word), 3X years old. In his spare time, he’s not only a hacker, but also a barista. He likes to travel and repair his recumbent bicycle. He works on the [REMS](http://www.cl.cam.ac.uk/~pes20/rems/ project under the supervision of Prof Peter Sewell

home hannesm @h4nnes

Liang Wang

Liang is affiliated with Queens’ College and is a research associate in the Computer Laboratory under the supervision of Prof. Jon Crowcroft, and mentored by Prof. Andy Hopper. He received M.Sc and Ph.D degrees from University of Helsinki, Finland, under the supervision of Prof. Jussi Kangasharju. His work focuses on information-centric networking, network architecture, network optimisation and protocol design, with a strong interest in data analytics and big data framework. He also teaches, and is an Associated Fellow in the British Higher Education Academy.

home ryanrhymes @ryan_liang

Qi Li

Qi likes to Jam

sevenEng
Grad Students

Graduate students in the Computer Laboratory working with OCaml Labs.

David Kaloper Meršinjak

David is a PhD student at the Computer Lab, University of Cambridge, under the supervision of Anil Madhavapeddy and Peter Sewell. He works on projects with the REMS and OCaml Labs research groups, with a focus on the application of advances in programming language technology to the development of simpler, high-confidence systems.

home pqwy

Heidi Howard

Heidi is a PhD student at the Computer Lab, University of Cambridge, under the supervision of Professor Jon Crowcroft. Her research interests are fault-tolerance, consistency and consensus in distributed systems.

home heidi-ann @heidiann360
Collaborators

External academic, industrial and independent collaborators.

Louis Gesbert

Louis holds a PhD from University Paris Est, and has studied at EnsIIE, University of Manchester and University of Tokyo. He has a strong background on programming languages and distribution, and was one of the architects behind the Opa language developed at MLstate. He joined OCamlPro in November 2012 and contributes extensively to OPAM.

home AltGr

Amir Chaudhry

Amir was a founding member of the Unikernel Systems team and is now a member of Technical Staff at Docker. Along with all things Unikernels, he is Community Manager for MirageOS and a senior member of Darwin College, Cambridge.

home amirmc @amirmc

Balraj Singh

Balraj was the CEO of Unikernel Systems and is now a General Manager at Docker.

balrajsingh @blrjs

Daniel Hillerström

Daniel is studying for his PhD in Computer Science at the University of Edinburgh under the supervision of Sam Lindley and Christophe Dubach. His primary interests are semantics and type systems for programming languages and compilers.

home dhil @dhillerstrom

David Scott

David was a founding member of the Unikernel Systems team and is now an engineer at Docker. He is one of the core contributors to MirageOS and helps to mentor our interns.

home djs55 @mugofsoup

David Sheets

David was a founding member of the Unikernel Systems team and is now a developer at Docker.

dsheets

Frédéric Bour

Fred develops Merlin and a few other OCaml tools with OCaml Labs

let-def

Hamed Haddadi

Hamed is the Senior Lecturer in Digital Media at EECS School in Queen Mary University of London. He is interested in Networked Systems, Privacy, Security, IoT and sensing applications and Human-Data Interaction. He is currently serving as the Information Services Director for the ACM SIGCOMM Executive Committee. When not in the office, he prefers to be on a ski slope or in a kayak.

home haddadi @realhamed

Ian Campbell

Ian is a software developer at Docker specialising in OS development, particularly embedded systems.

home ijc25

Jon Ludlam

Jon is a Fellow of Churchill College, Cambridge and works on open source software at Citrix.

home jonludlam @jonludlam

Leo White

Leo is a developer working at Jane Street following his previous research with OCaml Labs at the Computer Laboratory. He regularly visits the lab to coordinate projects, as a guest lecturer and a mentor to our interns.

lpw25

Magnus Skjegstad

Magnus was a founding member of the Unikernel Systems team and is now a developer at Docker. He is an active contributor to MirageOS and helps to mentor our interns.

home magnusS @MagnusSkjegstad

Michele Sevegnani

Michele is a Research Fellow at the University of Glasgow with a focus on using bigraphs.

home mseve @mseve84

Mark Shinwell

Mark is a software developer at Jane Street primarily working with OCaml. Prior to Jane Street Mark worked on the GNU toolchain for CodeSourcery and EPSRC-funded projects within the Computer Laboratory, Cambridge.

mshinwell

Thomas Gazagnaire

Thomas was a founding member of the Unikernel Systems team and is now an engineer at Docker. He is one of the main authors of the MirageOS library, the main developer of Irmin, the Git-like distributed store and original designer of the OPAM package manager.

home samoht @eriangazag

Spiros Eliopoulos

Spiros is a software engineer at Jane Street.

home seliopou @seliopou

Thomas Leonard

Thomas was a founding member of the Unikernel Systems team and is now a developer at Docker. He is an active contributor to MirageOS, and helps to mentor our interns.

home talex5 @talex5

Takayuki Imada

Taka is a researcher at Hitachi Ltd. based in Japan. He has spent five years engaged in server virtualization hypervisor work at Hitachi, and is interested in Unikernel technology and IoT-related computing frameworks (Fog/edge computing).

TImada

Thomas Refis

Thomas is a software developer at Jane Street.

home trefis

Xavier Clerc

Xavier often visits the Computer Laboratory during the summer to work on the OCaml-Java project.

home xclerc

Jeremy Yallop

Jeremy was a founding member of the Unikernel Systems team and is now a developer at Docker. He is also an affiliated lecturer at the Computer Laboratory, where he teaches the Advanced Functional Programming course and mentors our interns.

home yallop

Yaron Minsky

Yaron is the Head of Quantitative Research and Technology at Jane Street and occasional OCaml programmer.

home yminsky @yminksy

Mindy Preston

Mindy was a founding member of the Unikernel Systems team and is now a developer at Docker. She is the MirageOS Release Manager and mentors Outreachy interns.

home yomimono @mindypreston
Interns

Students undertaking an internship with OCaml Labs.

Armaël Guéneau

Armael is a PhD student at Inria in the Gallium team under the supervision of Arthur Charguéraud and François Pottier. His internship at OCaml Labs focussed on modifying js_of_ocaml to support concurrent OCaml.

home armael

Enguerrand Decorne

Enguerrand likes to Jam

home Engil @lamagicien

Nicolas Assouad

Nicolas is working towards his Masters at ENS France, and is undertaking an internship at OCaml Labs on a hardware transactional memory (HDM) backend for the Reagents library.

fondation451

Maxime Lesourd

Maxime likes to Jam

ilsordo

Olivier Nicole

Olivier is graduating in Computer Science at ENSTA ParisTech, France, and completed his internship at OCaml Labs on macros for OCaml.

OlivierNicole @oliviernicole01

Philip Dexter

Philip likes to Jam

home philipdexter