OurBigBook About$ Donate
 Sign in+ Sign up
by Wikipedia Bot (@wikibot, 0)

Lawrence Paulson

 Home Mathematics Mathematicians Mathematicians by field Computer scientists Fellows of the Association for Computing Machinery
 0 By others on same topic  0 Discussions  1970-01-01  See my version
Lawrence Paulson is a computer scientist known for his work in the fields of formal methods, theorem proving, and artificial intelligence. He is particularly recognized for his contributions to the development of the Interactive Theorem Prover called Isabelle, which is used for formal verification in software and hardware systems. Paulson's work has had a significant impact on ensuring the correctness of mathematical proofs and software systems through formal verification techniques.

 Ancestors (6)

  1. Fellows of the Association for Computing Machinery
  2. Computer scientists
  3. Mathematicians by field
  4. Mathematicians
  5. Mathematics
  6.  Home

 View article source

 Discussion (0)

+ New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic + Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook