 |
 |
||
 |
|||
|
Default | NEWS
9/9/2004 12:15:00 AM Vardi named AAAI fellow BY SHANNON GOSDA In recognition of his significant contributions to the field of artificial intelligence, Moshe Vardi was inducted as a fellow of the American Association for Artificial Intelligence (AAAI) in July.
Fellows are selected by the AAAI’s fellows selection committee, which bases its choice on a member’s publications, awards, speeches, conference committee affiliations and longstanding contributions to the field. Vardi’s promotion of logic as a foundation for computational systems is the basis for his induction as an AAAI fellow. Logic, sometimes called “the calculus of computer science,” is fundamental to areas such as artificial intelligence, computational complexity, distributed computing, database systems, design verification, programming languages and software engineering. Using logic as a framework, Vardi has cultivated research in intelligent databases, multiagent systems and automated reasoning. For his work in intelligent databases, Vardi focused on transforming unsophisticated databases into intelligent databases with deductive capabilities. In multiagent systems, Vardi’s work addresses the issues associated with multiple agents working together. He helped develop a theory of reasoning about knowledge that guides a distributed system to implementing a cohesive plan. Vardi also pioneered the use of automata theory for automated reasoning in applications such as verification of communications protocols and hardware controllers. Vardi is the Karen Ostrum George Professor in Computational Engineering, professor of computer science and director of Rice’s Computer and Information Technology Institute. Over the past 20 years, he has published more than 200 articles, served on more than 40 conference committees, given more than 200 public lectures and has served as editor of several international journals. — Shannon Gosda is the external relations coordinator for the Department of Computer Science. |
 |
 |
 |
 |
 |
 |
 |
