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)
|