About: Zohar Manna

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Zohar Manna Goto Sponge NotDistinct Permalink

An Entity of Type : yago:WikicatFellowsOfTheAssociationForComputingMachinery, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon

http://dbpedia.demo.openlinksw.com/c/8h1sB1S2oc

Zohar Manna (1939 – 30 August 2018) was an Israeli-American computer scientist who was a professor of computer science at Stanford University.

Attributes	Values
rdf:type	Thing foaf:Person person dul:NaturalPerson Eukaryote Person Human Animal yago:WikicatAmericanPeople animal eukaryote scientist species yago:WikicatComputerScientists schema:Person yago:WikicatLivingPeople Scientist yago:Associate109816771 yago:CausalAgent100007347 yago:Colleague109935990 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:LivingThing100004258 yago:Object100002684 yago:Organism100004475 yago:Peer109626238 yago:Person100007846 yago:PhysicalEntity100001930 yago:WikicatGuggenheimFellows yago:WikicatIsraeliPeople yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scientist110560637 yago:Whole100003553 yago:WikicatFellowsOfTheAssociationForComputingMachinery
rdfs:label	Zohar Manna (de) Zohar Manna (it) Zohar Manna (fr) Zohar Manna (pt) Zohar Manna (en) Манна, Зохар (ru) Зохар Манна (uk)
rdfs:comment	Zohar Manna, né le 17 janvier 1939 à Haïfa et mort le 30 août 2018 à Netanya en Israël, est un informaticien israélo-américain. Il était professeur à l'université Stanford. Il est réputé comme l'auteur du livre The Mathematical Theory of Computation, qui est l'un des premiers ouvrages à développer les concepts mathématiques qui sont à la base de la programmation en informatique. (fr) Zohar Manna (1939 – 30 August 2018) was an Israeli-American computer scientist who was a professor of computer science at Stanford University. (en) Zohar Manna (Haifa, 1939 – 30 agosto 2018) è stato un informatico israeliano naturalizzato statunitense.È stato professore di informatica alla Stanford University. (it) Зохар Манна (івр. זוהר מנה‎; англ. Zohar Manna, 1939) — ізраїльський та американський науковець в галузі інформатики, професор Стенфордського університету. (uk) Zohar Manna ( 17. Januar 1939 in Haifa; † 30. August 2018 in Netanja) war ein israelisch-US-amerikanischer Informatiker. Er war Professor an der Stanford University. Manna studierte am Technion in Haifa mit dem Bachelorabschluss 1961 und dem Masterabschluss 1965. Er wurde 1968 bei Robert W. Floyd (und Alan Perlis) an der Carnegie Mellon University promoviert (Termination of algorithms). Er war seit 1968 Professor in Stanford und außerdem seit 1972 Professor am Weizmann-Institut. (de) Zohar Manna (Haifa, 7 de janeiro de 1939 – 30 de agosto de 2018) foi um cientista da computação estadunidense. Foi professor da Universidade Stanford e autor de The Mathematical Theory of Computation (McGraw Hill, 1974; reimpressão Dover, 2003), um dos primeiros livros a conter cobertura extensiva dos conceitos matemáticos da programação de computadores. (pt) Зохар Манна (ивр. ‏זוהר מנה‏‎; англ. Zohar Manna, 1939, Хайфа — 30 августа 2018) — израильский и американский учёный в области информатики, профессор Стэнфордского университета. Родился и вырос в израильской Хайфе, изучал математику в Технионе, получив степень бакалавра 1962 году и степень магистра в 1965 году. В 1962—1964 годы работал программистом в вооружённых силах Израиля. Продолжил обучение в Университете Карнеги — Меллона, где изучал информатику и в 1968 году защитил докторскую диссертацию под руководством Роберта Флойда и Алана Перлиса. (ru)
foaf:name	Zohar Manna (en)
foaf:homepage	http://theory.stanford.edu/~zm
name	Zohar Manna (en)
birth place	Haifa Israel
birth place	Haifa Israel
dct:subject	2018 deaths 1939 births Carnegie Mellon University alumni Stanford University School of Engineering faculty Fellows of the Association for Computing Machinery People from Haifa
Wikipage page ID	699529 (xsd:integer)
Wikipage revision ID	1115091822 (xsd:integer)
Link from a Wikipage to another Wikipage	Carnegie Mellon University École Normale Supérieure de Cachan List of Fellows of the Association for Computing Machinery 2018 deaths Master of Science Concurrency (computer science) Stanford University Computer science Computer scientist Professor Bachelor of Science 1939 births Carnegie Mellon University alumni Stanford University School of Engineering faculty Weizmann Institute of Science Doctor of Philosophy Adi Shamir Amir Pnueli First-order logic Formal verification Nachum Dershowitz Haifa Israel Technical University of Munich Technion – Israel Institute of Technology Temporal logic Fellows of the Association for Computing Machinery People from Haifa Herbrand Award Pierre Wolper Martín Abadi Thomas Henzinger Richard Waldinger Unfinished work
Link from a Wikipage to an external page	http://theory.stanford.edu/~zm/tvors3.html
sameAs	Zohar Manna

Faceted Search & Find service v1.17_git147 as of Sep 06 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3331 as of Sep 2 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 50 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software