Moshe Vardi

Full Professor, Computer Science, Rice University

Joined

July 2019

Names

Moshe Vardi

Emails

****@cs.rice.edu (Confirmed)

Personal Links

Career & Education History

Full Professor

Computer Science, Rice University (rice.edu)

1993 – Present

Advisors, Relations & Conflicts

No relations added

Expertise

Theoretical Computer Science

1981 – Present

Publications

Two-Stage Technique for LTLf Synthesis Under LTL Assumptions
Antonio Di Stasio, Giuseppe De Giacomo, Moshe Vardi, Shufang Zhu
- OpenReview Archive Direct Upload
- Readers: Everyone
Understanding Boolean Function Learnability on Deep Neural Networks: PAC Learning Meets Neurosymbolic Models
Marcio Nicolau, Anderson R. Tavares, Zhiwei Zhang, Pedro H. C. Avelar, João Marcos Flach, Luis DC Lamb, Moshe Vardi
- NeSy 2025 - Phase 2 Oral
- Readers: Everyone
Constraint-Driven Explanations of Black-Box ML Models
Aditya Aniruddha Shrotri, Nina Narodytska, Alexey Ignatiev, Joao Marques-Silva, Kuldeep S. Meel, Moshe Vardi
- 28 Sept 2020 (modified: 05 May 2023)
- ICLR 2021 Conference Blind Submission
- Readers: Everyone

Co-Authors