... University of Cambridge, becoming an expert in the application of automated proof to real-world problems, participating in the team that formally verified the correctness of aspects of the Intel ... Joining Microsoft in 1998, he saw the opportunity to enhance and transform the design of the NET Framework by including elements of functional programming, beginning with the addition of generics ... Sister had to put up with me sneaking off to write whenever I went to visit them Also, my work colleagues often suffered grumpy mornings after late nights of F# hacking and writing: Arnaud, Aurélie,...