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

Tim Teitelbaum

 Home Mathematics Mathematicians Mathematicians by field Computer scientists Computer science writers
 0 By others on same topic  0 Discussions  1970-01-01  See my version
Tim Teitelbaum is a computer scientist known for his work in the fields of programming languages, formal methods, and software engineering. He has made significant contributions to various areas including theorem proving, programming language semantics, and the development of software tools that aid in the analysis and transformation of software code. One of his notable achievements is his involvement in the development of the programming language Standard ML, as well as contributions to the field of automated reasoning and formal verification.

 Ancestors (6)

  1. Computer science writers
  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