Search

Moshe Y Vardi

from Bellaire, TX
Age ~70
Get Report
Also known as:
Moshe Yaakov Vardi, Moshe Geyer, John Thomson
Phone and address:
4515 Merrie Ln, Bellaire, TX 77401
(713) 665-5900
Related to:
Moshe Geyer, 70P Vardi, 81Pamela K Geyer, 81
Connected to:
Alexander Vardi, 78Guy Vardi, 44Michal B Vardi, 65Tomer Vardi, 50Andrew A Vardijan, 38Benjamin D Vardiman, 45Kathryn A Vardon, 67Michael Vardon, 44Paul F Vardon, 72Tracy L Vardon, 56

Moshe Vardi Phones & Addresses

  • 4515 Merrie Ln, Bellaire, TX 77401 (713) 665-5900 (713) 666-7300
  • Palo Alto, CA
  • Roseville, MI
  • Sunnyvale, CA
  • Houston, TX
  • 4515 Merrie Ln, Bellaire, TX 77401

Work

Company: Intel corporation 1997 to 2000 Position: Consultant

Education

Degree: Doctorates, Doctor of Philosophy School / High School: Universidad Hebraica 1980 to 1981 Specialities: Computer Science, Philosophy

Skills

Computer Science • Algorithms • Machine Learning • Latex • Artificial Intelligence • Programming • Research • Mathematical Modeling • Theory • Higher Education • University Teaching • Distributed Systems • Science • Software Engineering • Teaching • C++ • Simulations • Scientific Computing • C • Statistics • Lecturing • Logic • Software Development • High Performance Computing • Data Mining • Matlab • Python • Numerical Analysis • Bioinformatics • Databases • Pattern Recognition • R • Knowledge Management • Knowledge Transfer • Information Retrieval • Knowledge Sharing • Computer Vision • Signal Processing • Image Processing • Parallel Computing • Knowledge Base • Human Computer Interaction • Java • Natural Language Processing • High Performance Computing • Physics • Informatica

Emails

m***1@aol.com

Industries

Higher Education

Resumes

Resumes

Moshe Vardi Photo 1

University Professor And George Distinguished Service Professor In Computational Engineering

View page
Location:
Houston, TX
Industry:
Higher Education
Work:
Intel Corporation 1997 - 2000
Consultant
Rice University 1997 - 2000
University Professor and George Distinguished Service Professor In Computational Engineering
Ibm 1989 - 1993
Manager, Mathematics and Related Computer Science
Education:
Universidad Hebraica 1980 - 1981
Doctorates, Doctor of Philosophy, Computer Science, Philosophy Stanford University
Skills:
Computer Science
Algorithms
Machine Learning
Latex
Artificial Intelligence
Programming
Research
Mathematical Modeling
Theory
Higher Education
University Teaching
Distributed Systems
Science
Software Engineering
Teaching
C++
Simulations
Scientific Computing
C
Statistics
Lecturing
Logic
Software Development
High Performance Computing
Data Mining
Matlab
Python
Numerical Analysis
Bioinformatics
Databases
Pattern Recognition
R
Knowledge Management
Knowledge Transfer
Information Retrieval
Knowledge Sharing
Computer Vision
Signal Processing
Image Processing
Parallel Computing
Knowledge Base
Human Computer Interaction
Java
Natural Language Processing
High Performance Computing
Physics
Informatica

Business Records

Name / Title
Company / Classification
Phones & Addresses
Moshe Vardi
Director
THEORETICAL ASPECTS OF REASONING ABOUT KNOWLEDGE, INC
Mark R Tuttle 8 Melanie Ln, Arlington, MA 02474
8 Melanie Ln, Arlington, MA 02474
4515 Merrie Ln, Bellaire, TX 77401
Moshe Vardi
Treasurer, Director
COALITION WORKS
Social Services
4515 Merrie Ln, Bellaire, TX 77401
Moshe Y Vardi
VP/S
MEDCETERA INC
Medical Information & Market Research
4515 Merrie Ln, Bellaire, TX 77401

Publications

Isbn (Books And Publications)

Reasoning about Knowledge

View page
Author

Moshe Y. Vardi

ISBN #

0262061627

Reasoning About Knowledge

View page
Author

Moshe Y. Vardi

ISBN #

0262562006

Database Theory-Icdt '95: 5th International Conference Prague, Czech Republic, January 11-13, 1995 Proceedings

View page
Author

Moshe Y. Vardi

ISBN #

0387589074

Theoretical Aspects of Reasoning Abot Knowledge 1988

View page
Author

Moshe Y. Vardi

ISBN #

0934613664

Formal Techniques for Networked and Distributed Systems - Forte 2002: 22nd Ifip Wg 6.1 International Conference, Houston, Texas, Usa, November 11-14, 2002 Proceedings

View page
Author

Moshe Y. Vardi

ISBN #

3540001417

Logic for Programming Artificial Intelligence and Reasoning: 10th International Conference, Lpar 2003, Almaty, Kazakhstan, September 22-26, 2003 Proceedings

View page
Author

Moshe Y. Vardi

ISBN #

3540201017

Amazon

Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings (Lecture Notes in Computer Science)

View page

ThisvolumecontainsthepaperspresentedattheTenthInternationalConference on Logic for Programming, Arti?cial Intelligence, and Reasoning (LPAR 2003), heldonSeptember22-26,2003,inAlmaty,Kazakhstan,togetherwiththeFourth International Workshop on Implementation of Logics. There were 65 submissions, of whi...
Binding

Paperback

Pages

436

Publisher

Springer

ISBN #

3540201017

EAN Code

9783540201014

ISBN #

7

[(Logic for Programming, Artificial Intelligence , and Reasoning: 10th International Conference, Lpar 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings )] [Author: Moshe Vardi] [Sep-2003]

View page
Author

Moshe Vardi

Binding

Paperback

Publisher

Springer-Verlag Berlin and Heidelberg GmbH & Co. K

ISBN #

9

Reasoning About Knowledge [Paperback] [2004] (Author) Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Vardi

View page
Binding

Paperback

Publisher

A Bradford Book

ISBN #

8

Formal Techniques for Networked and Distributed Systems - FORTE 2002

View page

The IFIP TC6 WG 6.1 Joint International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, was held this year at Rice University, Houston, Texas, on November 11–14. This annual conference provides a forum for researchers and practitioners from universities and industr...
Binding

Paperback

Pages

374

Publisher

Springer

ISBN #

3540001417

EAN Code

9783540001416

ISBN #

6

Database Theory - ICDT '95: 5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings (Lecture Notes in Computer Science)

View page

This volume presents the proceedings of the 1995 International Conference on Database Theory, ICDT '95, held in Prague in January 1995.Besides two full invited papers and the abstracts of two tutorials, the book includes the revised full versions of 29 technical contributions selected from a total o...
Binding

Paperback

Pages

460

Publisher

Springer

ISBN #

3540589074

EAN Code

9783540589075

ISBN #

5

Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings (Lecture Notes in Computer Science)

View page

This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included ...
Binding

Paperback

Pages

552

Publisher

Springer

ISBN #

3540646086

EAN Code

9783540646082

ISBN #

4

Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)

View page

Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational complexity and database theory. One of the fundamental insights of mathematical logic is that our understandin...
Author

Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y Vardi, Yde Venema, Scott Weinstein

Binding

Hardcover

Pages

437

Publisher

Springer

ISBN #

3540004289

EAN Code

9783540004288

ISBN #

3

Reasoning About Knowledge (MIT Press)

View page

Reasoning about knowledge--particularly the knowledge of agents who reason about the world and each other's knowledge--was once the exclusive province of philosophers and puzzle solvers. More recently, this type of reasoning has been shown to play a key role in a surprising number of contexts, from ...
Author

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Vardi

Binding

Paperback

Pages

536

Publisher

A Bradford Book

ISBN #

0262562006

EAN Code

9780262562003

ISBN #

2

Wikipedia References

Moshe Vardi Photo 2

Moshe Y . Vardi

Work:
Area of science:

Computer scientist

Position:

IBM employee • Member of Academia Europaea • Member of the United States National Academy of Engineering

Company:

Rice University faculty

Education:
Studied at:

Scholarship • Hebrew University of Jerusalem

Academic degree:

Professor

Specialty:

Director

Skills & Activities:
Ascribed status:

Fellow of the American Association for the Advancement of Science • Fellow of the Association for Computing Machinery • American of Israeli descent

Activity:

Science writer

Skill:

Computer science

Award:

Distinguished Service Award

Us Patents

System And Method To Analyze Vlsi Designs

View page
US Patent:
7203631, Apr 10, 2007
Filed:
Dec 31, 2002
Appl. No.:
10/334113
Inventors:
Ranan Fraer - Haifa, IL
Osnat Weissberg - Haifa, IL
Amitai Irron - Kibbutz Barkai, IL
Gila Kamhi - Zichron Yaakov, IL
Marcelo Glusman - Maalot, IL
Sela Mador-Haim - Binyamina Area, IL
Moshe Y. Vardi - Bellaire TX, US
Assignee:
Intel Corporation - Santa Clara CA
International Classification:
G06F 17/50
US Classification:
703 14, 703 2, 703 3, 703 17, 716 3, 716 4, 716 5
Abstract:
Briefly, a system and a method of formal verification and failure analysis and rectification of models or designs, e. g. , VLSI designs, of processors, circuits and logical systems. Embodiments of the system may include a multi-value annotation scheme for annotating different types of values of signals, and a post-annotation scheme for further analysis based on the annotated values. Some embodiments of the invention may optionally include a generator of counter-examples of a given length.

Detecting Vacuously Satisfield Specifications In Model Checking

View page
US Patent:
20050278153, Dec 15, 2005
Filed:
May 25, 2004
Appl. No.:
10/853526
Inventors:
Roy Armoni - Givat Ada, IL
Limor Fix - Zichron Yaakov, IL
Alon Flaisher - Haifa, IL
Nir Piterman - Rehovot, IL
Andreas Tiemeyers - Oxford, GB
Moshe Vardi - Bellaire TX, US
International Classification:
G06F017/50
G06F009/45
US Classification:
703002000, 716004000, 716005000
Abstract:
Modifying a specification of a design by replacing a sub formula of the specification with a free variable; model checking the modified specification in a model to determine whether the modified specification is satisfied in the model; and determining whether the sub formula affects satisfaction of the specification in the model based on determining whether the modified specification is satisfied in the model.

Directly Verifying A Black Box System

View page
US Patent:
6526544, Feb 25, 2003
Filed:
Sep 14, 1999
Appl. No.:
09/396830
Inventors:
Doron A. Peled - Gillette NJ
Moshe Y. Vardi - Bellaire TX
Mihalis Yannakakis - Summit NJ
Assignee:
Lucent Technologies Inc. - Murray Hill NJ
International Classification:
G06F 1750
US Classification:
716 4, 716 5
Abstract:
A system and method for direct black box system verification is provided. For any property, a sequence of inputs for the black box is determined that will verify that the system exhibits the property. Counterexamples of the property are detected without inferring the black boxs internal structure; that is, the verification proceeds without identifying all states and state transitions of the black box. A specification automaton operable to exhibit undesirable system behavior is constructed and it is then determined whether an accepting execution exists on the intersection of the black box and the specification automaton. To determine whether such an execution exists, the black box is configured such that it can be reset to its initial state upon command and such that the system indicates when an input is disabled from a current state. When an input is enabled, the implementation transitions to the next state. If an input is disabled, then there is no intersection on the input string.
Control profile
Moshe Y Vardi from Bellaire, TX, age ~70 Get Report