Moshe Y. Vardi Bio

Moshe Y. Vardi is a distinguished figure in the world of computer science, holding the esteemed position of University Professor, the George Distinguished Service Professor in Computational Engineering, and serving as the Director of the Ken Kennedy Institute for Information Technology at Rice University.

His remarkable career is marked by numerous accolades and awards, including three IBM Outstanding Innovation Awards, recognition with 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, and the EATCS Distinguished Achievements Award. He has also been honored with the Southeastern Universities Research Association's Distinguished Scientist Award and the prestigious ACM SIGLOG Church Award.

Over the years, Moshe Y. Vardi has made significant contributions to the field of computer science. He is the author and co-author of over 750 papers, showcasing his deep knowledge and expertise in various areas. He has also authored two influential books, "Reasoning about Knowledge" and "Finite Model Theory and Its Applications."

His dedication to the advancement of science and technology is underscored by his extensive involvement in professional associations. Moshe Y. Vardi is a Fellow of the American Association for the Advancement of Science, the American Mathematical Society, the Association for Computing Machinery, the American Association for Artificial Intelligence, the European Association for Theoretical Computer Science, the Institute for Electrical and Electronic Engineers, and the Society for Industrial and Applied Mathematics.

Furthermore, he is a distinguished member of the US National Academy of Engineering and the National Academy of Science, as well as the American Academy of Arts and Science. His international recognition extends to his membership in esteemed organizations such as the Royal Society of London, the European Academy of Science, and Academia Europaea.

Moshe Y. Vardi's academic journey has been characterized by excellence and dedication, leading to him holding nine honorary titles. His contributions to the field are not limited to research; he has also played a crucial role in disseminating knowledge as a Senior Editor of the Communications of the ACM, where he previously served as Editor-in-Chief for a decade.

For more information about Moshe Y. Vardi and his extensive body of work, you can visit his personal website at http://www.cs.rice.edu/~vardi.

Experience

• University Professor and George Distinguished Service Professor in Computational Engineering

  • Rice University · Full-time
  • Dec 1993 - Present · 29 years 10 months
  • Houston, Texas, United States

• Consultant

  • Intel Corporation
  • 1997 - 2000 · 3 years

• Manager, Mathematics and Related Computer Science

  • IBM
  • 1989 - 1993 · 4 years

Education

• Hebrew University in Jerusalem
  • Doctor of Philosophy (PhD), Computer Science
  • 1980 - 1981

Skills
Moshe Y. Vardi's skills and expertise span a wide range of areas within computer science, including:

• Computer Science
• Algorithms
• Machine Learning
• LaTeX
• Artificial Intelligence
• Programming
• Research
• Theory
• Higher Education
• Mathematical Modeling
• University Teaching
• Distributed Systems
• Science
• Software Engineering
• Teaching
• C++
• Simulations
• Scientific Computing
• High-Performance Computing
• Statistics
• Lecturing
• Numerical Analysis
• Data Mining
• Bioinformatics
• Matlab
• Databases
• Pattern Recognition
• Logic
• Software Development
• Information Retrieval
• Parallel Computing
• Knowledge Management
• Knowledge Base
• Knowledge Sharing
• Computer Vision
• Python
• Java
• Signal Processing
• Human-Computer Interaction
• Physics
• Image Processing
• Natural Language Processing
• Knowledge Transfer
• Informatica
• High-Performance Computing (HPC)

Publications
Moshe Y. Vardi has contributed to significant publications in the field of computer science, including:

• "CHIMP: A Tool for Assertion-Based Dynamic Verification of SystemC Models." - DIFTS@FMCAD 2013
• "Automatic Aspectization of SystemC." - ACM, Mar 27, 2012
• "A temporal language for SystemC." - FMCAD '08, Proc. Int. Conf. on Formal Methods in Computer-Aided Design, Jan 1, 2008
• "Formal Verification of Backward Compatibility of Microcode." - International Conference on Computer Aided Verification, Jul 1, 2005
• "Assertion-based flow monitoring of SystemC models."

Organizations
Moshe Y. Vardi serves as the Editor-in-Chief of Communications of the ACM and is affiliated with the Association of Computing Machinery (ACM).