Leonardo de Moura

Leonardo de Moura is a computer scientist, and creator of the Z3 Theorem Prover and the Lean proof assistant during his time at Microsoft Research. He currently works at AWS and is the Chief Architect at the Lean FRO. Provided by Wikipedia
Showing 1 - 2 results of 2 for search 'de Moura, Leonardo', query time: 0.01s Refine Results
  1. 1
    Automated Deduction – CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings /
    Published 2017
    Other Authors: “…de Moura, Leonardo…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings /
    Published 2016
    Other Authors: “…de Moura, Leonardo…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search