# content
Avi Wigderson Named 2023 ACM Turing Award Winner (via thesnowmancometh) — discussion

#compsci #formalmethods #math