| dbpedia-owl:abstract
|
- Moshe Ya'akov Vardi 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. Ses centres d'intérêt concernent principalement l'application de la logique à l'informatique, en particulier la théorie des bases de données, la théorie des modèles finis, la modélisation de la connaissance dans les systèmes multi-agents, la vérification et le raisonnement assistés par ordinateur et l'enseignement de la logique. Moshe Vardi est un expert renommé en model checking, en satisfaction de contraintes en théorie des bases de données, en logique de la connaissance commune et en informatique théorique en général. Moshe Vardi est l'auteur de plus de 400 articles scientifiques et techniques et l'éditeur de plusieurs collections. Il a écrit les ouvrages Reasoning about Knowledge (avec Ronald Fagin, Joseph Y. Halpern et Yoram Moses) et Finite Model Theory and its Applications (avec Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Yde Venema et Scott Weinstein). Il est également le rédacteur en chef de la revue Communications of the ACM.
- Moshe Ya'akov Vardi is a Professor of Computer Science at Rice University, USA. He is the Karen Ostrum George Professor in Computational Engineering, Distinguished Service Professor, and Director of the Computer and Information Technology Institute. 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 a renowned expert in model checking, constraint satisfaction and database theory, common knowledge (logic), and theoretical computer science. Moshe Y. Vardi is the author of over 400 technical papers as well as the editor of 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 also the editor-in-chief of Communications of the ACM.
|
| rdfs:comment
|
- Moshe Ya'akov Vardi is a Professor of Computer Science at Rice University, USA. He is the Karen Ostrum George Professor in Computational Engineering, Distinguished Service Professor, and Director of the Computer and Information Technology Institute. 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.
- Moshe Ya'akov Vardi 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.
|
