Principal Researcher at Microsoft
Leonardo de Moura is a Principal Researcher at Microsoft with a PhD in Computer Science conducting research in Software Engineering.
How media typically covers Leonardo de Moura
Based on 3 scored articles
Referenced in coverage
“Leonardo de Moura advocates for verification and formal proofs in AI-generated software using the Lean language.”
“Wrote about the need for verification infrastructure as AI writes more of the world's software.”