Ronghui Gu’s, CertiKOS, selected as a “Research Highlight” in the Communications of the ACM.
Find the COVID-19 Resource Guide here.
Computer Science at Columbia University
NLP Seminar - Alex Tamkin
Thursday 3:00 pm
CS conference room (CSB453)
Alex Tamkin, Stanford University
Decision problems and shallow quantum circuits
Friday 10:00 am
Joseph Slote, California Institute of Technology
Trustworthy Open Source: The Consequences of Success
Distinguished Lecture Series
Monday 11:50 am
CSB 451 CS Auditorium
Eric Brewer, Google