Xopus

Main Menu

  • Schemas
  • CSS
  • Chrome
  • Firefox
  • Fund

Xopus

Header Banner

Xopus

  • Schemas
  • CSS
  • Chrome
  • Firefox
  • Fund
Schemas
Home›Schemas›Lévesque and Vardi receive the Newell Prize

Lévesque and Vardi receive the Newell Prize

By Warren B. Obrien
June 4, 2021
0
0



Hector Levesque of the University of Toronto and Moshe Vardi of Rice University have been named the 2020 ACM-AAAI Allen Newell Award recipients. They share the $ 10,000 prize, co-funded by the Association for the Advancement of Artificial Intelligence.

The ACM – AAAI Allen Newell Award is named in honor of Allen Newell, one of the founding pioneers in the field of artificial intelligence and, from 1979 to 1980, the first president of the American Association for Artificial Intelligence, the old name of AAIA. It has been presented annually since 1994 to one or more individuals selected for career contributions that have scope in IT, or that link IT and other disciplines.

Hector Levesque is Professor Emeritus in the Department of Computer Science at the University of Toronto. Among other books, he is the author of Common Sense, the Turing test, and the quest for real AI in which he describes his proposals for using Winograd diagrams to judge whether a computer program has really modeled intelligence at the human level, which we reported in 2014 and again in 2016.

The 2020 ACM-AAAI Allen Newell Award citation for Hector Levesque states:

For fundamental contributions to knowledge representation and reasoning, and their wider influence within theoretical computing, databases, robotics, and the study of Boolean satisfiability.

The award recognizes his contributions to logic-inspired artificial intelligence and their impact on several sub-disciplines of computing, noting that with his collaborators, he has made fundamental contributions to cognitive robotics, multi-agent systems , theoretical computer science and basic systems of philosophy and cognitive psychology, which have inspired applications such as the semantic web and automated verification.

Moshe Vardi is the Karen Ostrum George Distinguished Service Professor of Computer Engineering at Rice University, where he teaches research logic and ethics. He is also a professor at the Baker Institute for Public Policy and leader of the Rice Initiative on Technology, Culture and Society. His research interests cover automated reasoning, database theory, computational complexity theory, multi-agent systems, and computer-aided systems. design and verification. He has authored / co-authored over 600 articles and two books and is the Editor-in-Chief of CMA Communications, having served as Editor-in-Chief for a decade.

my vardi

The Allen Newell ACM-AAAI Award citation for Moshe Vardi reads:

For contributions to the development of logic as a unifying fundamental framework and tool for modeling computer systems

In database theory, Vardi developed a theory of general data dependencies, finding axiomatizations and solving their decision problem; introduced two basics of measuring the complexity of query evaluation algorithms, data complexity and query complexity, which quickly became the industry standard; created a logical theory of data updates; and characterized the expressive power of query languages ​​and associated them with complexity classes. In software and hardware verification, Vardi introduced an automata theory approach to the verification of reactive systems that revolutionized the field, using automata on chains and infinite trees to represent both the analyzed system and them. Unwanted calculations of the system and in the theory of knowledge, he developed a rigorous basis for reasoning about the knowledge of multi-agent and distributed systems, a problem of central importance in many disciplines.

Vardi was also named the 2021 Knuth Prize winner for:

“Major and high impact contributions to the foundations of computing”.

diamond

More information

ACM 2020 – AAAI Allen Newell Award

Hector J. Lévesque page ACM

Moshé Y Vardi page ACM

Related Articles

ACM Technical Awards 2015

A better Turing test – Winograd schemes

No winner in the first Winograd drawing competition

Cynthia Dwork receives the 2020 Knuth Award

2019 Knuth Prize awarded for his contributions to complexity theory

2018 Knuth Prize awarded for contributions to computational complexity

To be informed of new articles on I Programmer, subscribe to our weekly newsletter, subscribe to the RSS feed and follow us on Twitter, Facebook or Linkedin.

Banner

square

comments

or send your comment to: [email protected]





Related posts:

  1. Biden administration signals sweeping shift in focus to deal with cyber concerns in government procurement Baker Donelson
  2. My five # 436 | Inbound Marketing Agency
  3. Spring Boot Tutorial Brian Matthews
  4. ChaosSearch Data Platform Now Available in the AWS Marketplace

Recent Posts

  • This Keyboard Shortcut Can Undo Your Most Annoying Browser Mistake
  • UCSF and I-SPY 2 breast cancer researchers develop newly redefined breast cancer response subtypes
  • India-based web design company promises free food to children in need
  • Global Chromium Powder Market Size 2022 Booming By Share, Growth Size, Scope, Key Segments And Forecast To 2029 – Industrial Computing
  • Google Search Adds Author Markup Best Practices

Archives

  • June 2022
  • May 2022
  • April 2022
  • March 2022
  • February 2022
  • January 2022
  • December 2021
  • November 2021
  • October 2021
  • September 2021
  • August 2021
  • July 2021
  • June 2021
  • May 2021
  • April 2021
  • March 2021

Categories

  • Chrome
  • CSS
  • Firefox
  • Fund
  • Schemas
  • Terms and Conditions
  • Privacy Policy