professor type in Cambridge Computer Lab. Works on environmental science through planetary computing. OCaml developer, MirageOS, Docker, etc.