About: Nachum Dershowitz

An Entity of Type: animal, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Nachum Dershowitz is an Israeli computer scientist, known e.g. for the Dershowitz–Manna ordering and the multiset path ordering used to prove termination of term rewrite systems. He obtained his B.Sc. summa cum laude in 1974 in Computer Science–Applied Mathematics from Bar-Ilan University, and his Ph.D. in 1979 in Applied Mathematics from the Weizmann Institute of Science.From 1978, he worked at the Department of Computer Science of the University of Illinois at Urbana-Champaign, until he became a full professor of the Tel Aviv University (School of Computer Science) in 1998. He was a guest researcher at Weizmann Institute, INRIA, ENS Cachan, Microsoft Research, and the universities of Stanford, Paris, Jerusalem, Chicago, and Beijing. He received the Herbrand Award for Distinguished Contri

Property Value
dbo:abstract
  • Nachum Dershowitz is an Israeli computer scientist, known e.g. for the Dershowitz–Manna ordering and the multiset path ordering used to prove termination of term rewrite systems. He obtained his B.Sc. summa cum laude in 1974 in Computer Science–Applied Mathematics from Bar-Ilan University, and his Ph.D. in 1979 in Applied Mathematics from the Weizmann Institute of Science.From 1978, he worked at the Department of Computer Science of the University of Illinois at Urbana-Champaign, until he became a full professor of the Tel Aviv University (School of Computer Science) in 1998. He was a guest researcher at Weizmann Institute, INRIA, ENS Cachan, Microsoft Research, and the universities of Stanford, Paris, Jerusalem, Chicago, and Beijing. He received the Herbrand Award for Distinguished Contributions to Automatic Reasoning in 2011. He has co-authored the standard text on calendar algorithms, Calendrical Calculations, with Edward Reingold. An implementation of the algorithm in Common Lisp is put into the public domain, and is also distributed with the book. (en)
dbo:academicDiscipline
dbo:award
dbo:doctoralAdvisor
dbo:knownFor
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 43915231 (xsd:integer)
dbo:wikiPageLength
  • 11889 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1106690259 (xsd:integer)
dbo:wikiPageWikiLink
dbp:awards
  • Herbrand Award 2011 (en)
dbp:doctoralAdvisor
dbp:fields
dbp:knownFor
dbp:name
  • Nachum Dershowitz (en)
dbp:thesisTitle
  • The Evolution of Programs (en)
dbp:thesisYear
  • 1979 (xsd:integer)
dbp:website
dbp:wikiPageUsesTemplate
dcterms:subject
gold:hypernym
rdf:type
rdfs:comment
  • Nachum Dershowitz is an Israeli computer scientist, known e.g. for the Dershowitz–Manna ordering and the multiset path ordering used to prove termination of term rewrite systems. He obtained his B.Sc. summa cum laude in 1974 in Computer Science–Applied Mathematics from Bar-Ilan University, and his Ph.D. in 1979 in Applied Mathematics from the Weizmann Institute of Science.From 1978, he worked at the Department of Computer Science of the University of Illinois at Urbana-Champaign, until he became a full professor of the Tel Aviv University (School of Computer Science) in 1998. He was a guest researcher at Weizmann Institute, INRIA, ENS Cachan, Microsoft Research, and the universities of Stanford, Paris, Jerusalem, Chicago, and Beijing. He received the Herbrand Award for Distinguished Contri (en)
rdfs:label
  • Nachum Dershowitz (en)
owl:sameAs
prov:wasDerivedFrom
foaf:homepage
foaf:isPrimaryTopicOf
foaf:name
  • Nachum Dershowitz (en)
is dbo:author of
is dbo:doctoralStudent of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageWikiLink of
is dbp:author of
is dbp:doctoralStudents of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License