Chapter 25: Moshe Y. Vardi: From Theory and Practice in Computing to Research Ethics and the Surveillance State

Professor Moshe Y. Vardi, www.cs.rice.edu/~vardi/ is the George Distinguished Service Professor in Computational Engineering and Director of the Ken Kennedy Institute for Information Technology at Rice University. He is the author and co-author of over 450 papers, as well as two books: Reasoning about Knowledge and Finite Model Theory and Its Applications. He is the co-recipient of three IBM Outstanding Innovation Awards, the ACM SIGACT Gödel Prize, the ACM Kanellakis Award, the ACM SIGMOD Codd Award, the Blaise Pascal Medal, the IEEE Computer Society Goode Award, the EATCS Distinguished Achievements Award and the Southeastern Universities Research Association's Distinguished Scientist Award. He is a Fellow of the Association for Computing Machinery, the American Association for Artificial Intelligence, the American Association for the Advancement of Science and the Institute for Electrical and Electronic Engineers. He is a member of the US National Academy of Engineering, the American Academy of Arts and Science, the European Academy of Science and the Academia Europaea. He holds honorary doctorates from the Saarland University in Germany and Orleans University in France. He is currently the Editor-in-Chief of the Communications of the ACM…