Leonardo de Moura

Leonardo de Moura ist ein Informatiker und Entwickler des Z3 Theorem Prover und des Lean Beweisassistent während seiner Zeit bei Microsoft Research. Er arbeitet aktuell bei Amazon Web Services und ist der Chef-Softwarearchitekt bei Lean FRO.

Er studierte Informatik an der Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio), wo er 1996 den M.Sc. mit der Arbeit „Um sistema de programação visual“ erlangte. Er promovierte (D.Sc.) im Februar 2000 mit einer Dissertation über die formale Analyse und Verifikation von Programmen unter der Betreuung von Carlos José Pereira de Lucena. Veröffentlicht in Wikipedia