Leader of the F# team, recognized for integrating database concepts into the type system.
Lex Fridman