USA · Automated Reasoning · Reviewed 2026-10-15

Dr. Moshe Vardi

Dr. Vardi is a world-renowned computer scientist and National Academy of Engineering member who made seminal contributions to model checking, logic in computer science, and algorithmic verification.

Official faculty profile ↗Research checked, not sponsored

Documented research interests and leadership

Research areas: Automated Reasoning, Formal Verification, Computational Complexity, Ethics in AI
Academic position: University Professor & Karen Ostrum George Distinguished Service Professor in Computational Engineering
Primary university source: Official directory entry ↗
Recruitment status: Not verified. Leadership profile does not imply active vacancies or assistantship availability.

Supervision and contact

Students interested in graduate or doctoral research supervision in Automated Reasoning, Formal Verification, Computational Complexity are advised to consult formal department application channels.

Rice guide ↗Computer-science subject guide ↗Mentorship ↗

Important verification note

Facts reflect official university directory records reviewed 2026-10-15. Faculty recruitment and admissions require formal application.

Reviewed 2026-10-15 · Editorial standards · Report an issue