Moshe Vardi

id: moshe-vardi-218-3027674
title: Moshe Vardi
text: Moshe Ya'akov Vardi is an Israeli mathematician and computer scientist. He is the Karen Ostrum George Distinguished Service Professor in Computational Engineering at Rice University, United States. and a faculty advisor for the Ken Kennedy Institute. His interests focus on applications of logic to computer science, including database theory, finite model theory, knowledge of multi-agent systems, computer-aided verification and reasoning, and teaching logic across the curriculum. He is an expert
brand slug: wiki
category slug: encyclopedia
description: Israeli mathematicien and computer scientist
original url: https://en.wikipedia.org/wiki/Moshe_Vardi
date created: 2007-07-03T10:11:12Z
date modified: 2024-09-13T07:20:15Z
main entity: {"identifier":"Q1585964","url":"https://www.wikidata.org/entity/Q1585964"}
image: {"content_url":"https://upload.wikimedia.org/wikipedia/commons/7/72/Moshe_Vardi_IMG_0010.jpg","width":2986,"height":2348}
fields total: 13
integrity: 16

Related Entries

Explore Next Part