Moshe Y. Vardi, University Professor and the Karen Ostrum George Distinguished Service Professor in Computational Engineering and professor of Computer Science in the George R. Brown School of Engineering and Computing at Rice University, is one of the two recipients of the IEEE Computer Society’s (CS) prestigious 2025 Computer Pioneer Award in Honor of the Women of ENIAC.
IEEE CS Society serves as the world’s largest and most established professional organization of its type with over 375,000 members worldwide.
Per IEEE CS’s award announcement – “This award honored Vardi’s seminal work on the development of logic as a unifying foundational framework and a tool for modeling computational systems. A celebrated author of more than 800 papers and a highly acclaimed engineering leader, Vardi focuses on automated reasoning, a branch of AI with broad applications in computer science, including database theory, computational-complexity theory, multi-agent systems, computer-aided verification, constraint solving, and teaching logic across the curriculum.”