Executive Profile

Moshe Vardi Member of Technical Advisory Board, Jasper Design Automation, Inc.

Age	Total Calculated Compensation	This person is connected to 1 Board Members in 1 different organizations across 1 different industries. See Board Relationships
--	--

Background

Prof. Moshe Vardi serves as a Professor of Computer Science at Rice University. Prof. Vardi serves as the Karen Ostrum George Professor in Computational Engineering. Prior to Rice University, Prof. Vardi served at the IBM Almaden Research Center, where he managed the Mathematics and Related Computer Science Department. He has been a Member of the Technical Advisory Board of Jasper Design Automation, Inc. since April 2008. Prof. Vardi serves as a Director of the Ken Kennedy ... Institute for Information Technology. He is the author of over 300 technical papers, and also an Editor of several collections, Prof. Vardi is a renowned expert in model checking, constraint satisfaction and database theory, common knowledge (logic), and theoretical computer science. Prof. Vardi is the recipient of three IBM Outstanding Innovation Awards, and a co-winner of the 2000 Godel Prize, the 2005 ACM Paris Kanellakis Award for Theory and Practice, and the LICS 2006 Test-of-Time Award. He holds an Honorary Doctorates from the University of Saarland, Germany, and the University of Orleans, France, and received his Ph.D. from the Hebrew University of Jerusalem in 1981.

Corporate Headquarters 707 California Street Mountain View, California 94041 United States Phone: 650-966-0200 Fax: 650-625-9840 Board Members Memberships There is no Board Members Memberships data available. Education PhD 1981 Hebrew University of Jerusalem Honorary Doctorate Universität des Saarlandes Honorary Doctorate Université d'Orléans Other Affiliations Hebrew University of Jerusalem Universität des Saarlandes Université d'Orléans

Annual Compensation There is no Annual Compensation data available. Stocks Options There is no Stock Options data available. Total Compensation There is no Total Compensation data available.

COMPETITOR COMPENSATION

There is no Competitor Compensation data available.