Previously he worked at Skydeck, a Silicon Valley startup using OCaml as the backend language for a mobile photo-sharing application, and Codian, a UK videoconferencing startup based on massively parallel processor architectures.