Proofs in the digital world

Event information
Start:
End:
Venue:ECS 241

Professor Silvio Micali from the Computer Science and A.I. Lab at MIT will come to give a seminar.