The 2020 Alonzo Church award for outstanding contributions to logic and computation: call for nominations.

Andrzej S. Murawski

Published in: ACM SIGLOG News (2020)

Keyphrases

efficient computation
artificial intelligence
modal logic
neural network
website
image sequences
logic programming
probabilistic logic
logical framework
digital circuits
proof theory
delay insensitive
sound and complete axiomatization