| dbo:abstract
|
- Moshe Y. Vardi (* 4. Juli 1954 in Haifa) ist ein israelisch-amerikanischer Informatiker. (de)
- 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. (en)
- 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. (fr)
- 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]]. (it)
- Моше Яаков Варди (ивр. משה יעקב ורדי; род. 4 июля 1954, Хайфа) — израильский математик и информатик, почётный профессор информатики Университета Райса, директор Института информационных технологий Кена Кеннеди. (ru)
- Моше Яаков Варді (івр. משה יעקב ורדי; нар. 1954 року) — ізраїльський математик та інформатик, професор інформатики Університету Райса, Сполучені Штати Америки. Він належить до списку видатних професорів у сфері обчислювальної техніки , та обраний директором Інституту інформаційних технологій Кена Кеннеді. (uk)
|
| rdfs:comment
|
- Moshe Y. Vardi (* 4. Juli 1954 in Haifa) ist ein israelisch-amerikanischer Informatiker. (de)
- 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. (fr)
- Моше Яаков Варди (ивр. משה יעקב ורדי; род. 4 июля 1954, Хайфа) — израильский математик и информатик, почётный профессор информатики Университета Райса, директор Института информационных технологий Кена Кеннеди. (ru)
- Моше Яаков Варді (івр. משה יעקב ורדי; нар. 1954 року) — ізраїльський математик та інформатик, професор інформатики Університету Райса, Сполучені Штати Америки. Він належить до списку видатних професорів у сфері обчислювальної техніки , та обраний директором Інституту інформаційних технологій Кена Кеннеді. (uk)
- 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. (en)
- 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. (it)
|
