(New) Arie Soeteman is one of the new KNAW Faces of Science
Arie Soeteman investigates how artificial intelligence can reason in a way that resembles how humans think, according to the laws of logic. Using mathematical proofs and by having AI systems solve puzzles, he demonstrates how self-learning computer systems arrive at conclusions. The goal is to develop AI models that we can understand and trust.
For more information, see
https://www.knaw.nl/nieuws/van-erfgoedtalen-tot-zelfherstellende-nieren-ontmoet-de-nieuwe-faces-science.