
TILOS Seminar: Reasoning Numerically
VirtualSicun Gao, Assistant Professor, UC San Diego Abstract: Highly-nonlinear continuous functions have become a pervasive model of computation. Despite newsworthy progress, the practical success of “intelligent” computing is still restricted by our ability to answer questions regarding their quality and dependability: How do we rigorously know that a system will do exactly what we want it […]