Computer scientist named to elite ranks of applied math society
Rice University computer scientist Moshe Vardi has been selected as a fellow of the Society for Industrial and Applied Mathematics (SIAM). Vardi is among 31 new 2015 fellows announced last week by the 14,000-member society.
Selection as a fellow is an honor the society reserves for its most distinguished members. Vardi, Rice’s Karen Ostrum George Professor in Computational Engineering and director of Rice’s Ken Kennedy Institute for Information Technology, was selected for “contributions to the development of logic as a unifying foundational framework and a tool for modeling computational systems.”
Vardi joined Rice’s faculty in 1993. His research interests include applications of logic to computer science, database systems, complexity theory, multi-agent systems and specification and verification of hardware and software. He is the author or co-author of more than 500 technical articles and of two books, “Reasoning about Knowledge” and “Finite Model Theory and Its Applications.
Vardi is a member of the National Academy of Engineering, the American Academy of Arts and Sciences, the European Academy of Sciences and the Academia Europa. He is a fellow of the Association of Computing Machinery and the Institute for Electrical and Electronics Engineers (IEEE). His many honors include the Southeastern Universities Research Association’s 2013 Distinguished Scientist Award, the 2011 IEEE Computer Society Harry H. Goode Award, the 2008 Blaise Pascal Medal for Computer Science by the European Academy of Sciences and the 2000 Goedel Prize for outstanding papers in the area of theoretical computer science.
Vardi and the other members of the 2015 class of SIAM fellows will be honored in August at the International Congress on Industrial and Applied Mathematics in Beijing.
Established in 1952, SIAM is an international community of applied and computational mathematicians, computer scientists and other scientists and engineers that advances the fields of applied mathematics and computational science. The society publishes books and premier journals and also sponsors a selection of conferences and programs. For more information, visit www.siam.org.