“Leo DeMora began developing the Lean programming language at Microsoft Research in 2013.”