Ian Briggs
Biography
Ian is a Ph.D. student at the University of Utah in computer science. His research interests are centered around formal verification with a focus on numerical error and high performance computing.
Presentations
Paper
Algorithms
Floating Point
TP
Best Student Paper Finalist