Registered user since Wed 18 Mar 2015
I’m a University Lecturer at the University of Cambridge. I’ve worked in a variety of senior architecture, engineering, product management, sales and “whatever it takes” roles in industry (S, M, L, XL) as well as government and research (S, M, L). I completed my PhD in 2006 at the University of Cambridge Computer Laboratory in the Systems Research Group. You can read my thesis and various academic publications here. My research goal is to improve the security, reliability and performance of the Internet. I’m having great fun leading the OCaml Labs group at Cambridge, and building the Mirage unikernel operating system as a new foundation for networked, multi-scale applications. I also think about ubiquitous computing technologies, and develop open-source software such as the secure OpenBSD operating system.
|PLDI 2018||Bounding Data Races in Space and Time|
|Show activities from other conferences|
View general profile