Avi Wigderson Named 2023 ACM Turing Award Winner (via thesnowmancometh) — discussion
#compsci #formalmethods #math
