Moshe Y. Vardi

E48391

academic computer scientist human logician

Moshe Y. Vardi is a prominent computer scientist known for his influential work in logic in computer science, database theory, and automated verification.

Statements (66)

Predicate	Object
instanceOf	academic → computer scientist → human → logician →
almaMater	Hebrew University of Jerusalem → Weizmann Institute of Science →
awardReceived	ACM Presidential Award → ACM SIGACT Gödel Prize → ACM SIGMOD Contributions Award → Blaise Pascal Medal in Computer Science → EATCS Distinguished Achievements Award → Gödel Prize → Knuth Prize → LICS Test-of-Time Award →
citizenship	Israel → United States of America →
degree	PhD in Computer Science →
doctoralAdvisor	Azaria Paz →
editorInChiefOf	Communications of the ACM →
employer	Rice University →
field	automated verification → computer science → database theory → logic in computer science →
givenName	Moshe →
hasPublishedIn	ACM Transactions on Database Systems → Communications of the ACM → Information and Computation → Journal of the ACM → Proceedings of the IEEE Symposium on Logic in Computer Science →
honor	AAAI Fellow → ACM Fellow → IEEE Fellow →
knownFor	automated verification → database theory → database theory and logic → descriptive complexity → finite model theory applications in computer science → logic in computer science → model checking → temporal logic in verification →
languageSpoken	English → Hebrew →
memberOf	American Academy of Arts and Sciences → Association for Computing Machinery → European Academy of Sciences → National Academy of Engineering → National Academy of Sciences of the United States of America →
name	Moshe Y. Vardi →
nationality	Israeli-American →
notableStudent	Orna Kupferman →
notableWork	papers on automata-theoretic approach to temporal logic → papers on finite model theory and descriptive complexity → papers on model checking and verification →
occupation	editor → professor → researcher →
position	Karen Ostrum George Distinguished Service Professor in Computational Engineering → Professor in the Department of Computer Science at Rice University → University Professor at Rice University →
researchInterest	artificial intelligence and logic → database systems → finite model theory → logic → verification →
workInstitution	Rice University →

Referenced by (5)

Subject (surface form when different)	Predicate
ACM Distinguished Service Award → Herbrand Award →	notableRecipient
Rajeev Alur →	coAuthor
Moshe Y. Vardi →	name
Zohar Manna →	notableStudent