OCaml Labs is primarily based at the University of Cambridge Computer Laboratory, with a core staff, graduate students, academic visitors and industrial collaborators.
Core operations team that run the place.
Academic staff that hang out.
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 doctoral researchers in the Computer Laboratory working with OCaml Labs.
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
Graduate students in the Computer Laboratory working with OCaml Labs.
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
External academic, industrial and independent collaborators.
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
Daniel develops a number of core open source OCaml libraries and features with OCaml Labs.home dbuenzli
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
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
Students undertaking an internship with OCaml Labs.