Moshe Vardi

http://dbpedia.org/resource/Moshe_Vardi an entity of type: Thing

Moshe Y. Vardi (* 4. Juli 1954 in Haifa) ist ein israelisch-amerikanischer Informatiker. rdf:langString
Moshe Ya'akov Vardi (hébreu : משה יעקב ורדי), né en juillet 1954, est professeur d'informatique à l'Université Rice, aux États-Unis. Il est titulaire de la chaire Karen Ostrum George en ingénierie informatique, Distinguished Service Professor et directeur de l'institut d'informatique et des technologies de l'information. rdf:langString
Моше Яаков Варди (ивр. ‏משה יעקב ורדי‏‎; род. 4 июля 1954, Хайфа) — израильский математик и информатик, почётный профессор информатики Университета Райса, директор Института информационных технологий Кена Кеннеди. rdf:langString
Моше Яаков Варді (івр. משה יעקב ורדי‎; нар. 1954 року) — ізраїльський математик та інформатик, професор інформатики Університету Райса, Сполучені Штати Америки. Він належить до списку видатних професорів у сфері обчислювальної техніки , та обраний директором Інституту інформаційних технологій Кена Кеннеді. rdf:langString
Moshe Ya'akov Vardi (Hebrew: משה יעקב ורדי) MAE is an Israeli mathematician and computer scientist. He is a Professor of Computer Science at Rice University, United States. He is University Professor, the Karen Ostrum George Professor in Computational Engineering, Distinguished Service Professor, and director of the Ken Kennedy Institute for Information Technology. His interests focus on applications of logic to computer science, including database theory, finite model theory, knowledge in multi-agent systems, computer-aided verification and reasoning, and teaching logic across the curriculum. He is an expert in model checking, constraint satisfaction and database theory, common knowledge (logic), and theoretical computer science. rdf:langString
Moshe Ya'akov Vardi (Haifa, 4 luglio 1954) è un informatico israeliano, professore d'informatica presso il Dipartimento di Informatica della Rice University di Houston. I suoi interessi di ricerca ricoprono vari settori della logica applicata all'informatica, tra cui basi di dati, sistemi multi-agente, teoria degli automi. È un esperto di model checking, problema di soddisfacimento dei vincoli e basi di dati, conoscenza comune, e informatica teorica. rdf:langString
rdf:langString Moshe Y. Vardi
rdf:langString Moshe Vardi
rdf:langString Moshe Vardi
rdf:langString Moshe Vardi
rdf:langString Варди, Моше
rdf:langString Моше Варді
rdf:langString Moshe Vardi
rdf:langString Moshe Vardi
rdf:langString Israel
xsd:integer 12067215
xsd:integer 1115721575
rdf:langString The Implication Problem for Data Dependencies in the Relational Model
xsd:integer 1981
rdf:langString Bar-Ilan University
rdf:langString Hebrew University of Jerusalem
rdf:langString Weizmann Institute of Science
rdf:langString
rdf:langString
rdf:langString AAAI Fellow
rdf:langString ACM Fellow
rdf:langString Member of the National Academy of Sciences
rdf:langString Paris Kanellakis Award
rdf:langString Gödel Prize
rdf:langString Knuth Prize
rdf:langString Harry H. Goode Memorial Award
rdf:langString
rdf:langString Moshe Ya'akov Vardi
rdf:langString משה יעקב ורדי
rdf:langString Moshe Y. Vardi (* 4. Juli 1954 in Haifa) ist ein israelisch-amerikanischer Informatiker.
rdf:langString Moshe Ya'akov Vardi (Hebrew: משה יעקב ורדי) MAE is an Israeli mathematician and computer scientist. He is a Professor of Computer Science at Rice University, United States. He is University Professor, the Karen Ostrum George Professor in Computational Engineering, Distinguished Service Professor, and director of the Ken Kennedy Institute for Information Technology. His interests focus on applications of logic to computer science, including database theory, finite model theory, knowledge in multi-agent systems, computer-aided verification and reasoning, and teaching logic across the curriculum. He is an expert in model checking, constraint satisfaction and database theory, common knowledge (logic), and theoretical computer science. Vardi has authored or co-authored over 600 technical papers as well as editing several collections. He has authored the books Reasoning About Knowledge with Ronald Fagin, Joseph Halpern, and Yoram Moses, and Finite Model Theory and Its Applications with Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Yde Venema, and Scott Weinstein. He is senior editor of Communications of the ACM, after serving as its editor-in-chief for a decade.
rdf:langString Moshe Ya'akov Vardi (hébreu : משה יעקב ורדי), né en juillet 1954, est professeur d'informatique à l'Université Rice, aux États-Unis. Il est titulaire de la chaire Karen Ostrum George en ingénierie informatique, Distinguished Service Professor et directeur de l'institut d'informatique et des technologies de l'information.
rdf:langString Moshe Ya'akov Vardi (Haifa, 4 luglio 1954) è un informatico israeliano, professore d'informatica presso il Dipartimento di Informatica della Rice University di Houston. I suoi interessi di ricerca ricoprono vari settori della logica applicata all'informatica, tra cui basi di dati, sistemi multi-agente, teoria degli automi. È un esperto di model checking, problema di soddisfacimento dei vincoli e basi di dati, conoscenza comune, e informatica teorica. Moshe Vardi è autore di oltre 400 articoli scientifici e editor di diverse riviste di settore. È autore dei libri Reasoning About Knowledge con Ronald Fagin, Joseph Halpern e Yoram Moses, e Finite Model Theory and Its Applications con Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Yde Venema e Scott Weinstein. Inoltre, è editor-in-chief di [[Communications> of the ACM]].
rdf:langString Моше Яаков Варди (ивр. ‏משה יעקב ורדי‏‎; род. 4 июля 1954, Хайфа) — израильский математик и информатик, почётный профессор информатики Университета Райса, директор Института информационных технологий Кена Кеннеди.
rdf:langString Моше Яаков Варді (івр. משה יעקב ורדי‎; нар. 1954 року) — ізраїльський математик та інформатик, професор інформатики Університету Райса, Сполучені Штати Америки. Він належить до списку видатних професорів у сфері обчислювальної техніки , та обраний директором Інституту інформаційних технологій Кена Кеннеді.
rdf:langString Catriel Beeri
xsd:nonNegativeInteger 13568
rdf:langString Moshe Ya'akov Vardi
rdf:langString משה יעקב ורדי

data from the linked data cloud