Pavel Panchekha
Biography
Assistant Professor of Computer Science at the University of Utah
Presentations
Workshop
Correctness
Debugging
Floating Point
Mixed-precision
Reliability
Verification
W
Back To Top Button