Quantum Research Institute | The invisible drummer: A quantum optomechanical dark matter search
Dalziel Wilson, Associate Professor of Optical Sciences at the University of Arizona
Abstract:...
MICDE / CSE Seminar – Andrew Appel, Princeton
Formally Verified Numerical Methods
Abstract: Formal machine-checked program verification uses mechanized logical tools to connect low-level programs to specifications of the...
Cat Hackathon
Come and see which cat wins!
