Rice University issued the following announcement on Nov. 2.
Rice’s Moshe Vardi, a leading expert on artificial intelligence and automation, has been named a fellow of the American Mathematical Society (AMS) for 2019.
Moshe VardiLong Description
Vardi, the Karen Ostrum George Distinguished Service Professor in Computational Engineering and director of the Ken Kennedy Institute for Information Technology, was chosen for his “contributions to the development and use of mathematical logic in computer science.”
AMS fellows are recognized for their outstanding contributions to the creation, exposition, advancement, communication and use of mathematics. Fewer than 5 percent of the society’s 30,000 members have been named fellows, and Vardi becomes the 10th Rice faculty member selected for the honor. He is among 65 scientists in the 2019 class.
Vardi is also a fellow of the Association for Computing Machinery, the European Association for Theoretical Computer Science, the Institute of Electrical and Electronic Engineers and the Society for Industrial and Applied Mathematics. He also is a member of the U.S. National Academy of Engineering, the U.S. National Academy of Sciences and the American Academy of Arts and Sciences.
Earlier this year Vardi, who joined Rice’s faculty in 1993, was named a University Professor — Rice’s highest academic title.
Founded in 1888 to further mathematical research and scholarship, the AMS fulfills its mission through programs and services that promote mathematical research and its uses, strengthen mathematical education and foster awareness and appreciation of mathematics and its connections to other disciplines and everyday life.
Original source: https://news.rice.edu/2018/11/02/vardi-named-fellow-of-the-american-mathematical-society/