I am a PhD student in the School of Computing at the University of Utah.
"No bird soars too high, if he soars with his own wings." W. Blake
Thanh Son Nguyen
Thanh Son Nguyen,
PhD Student
Contact
thanhson@cs.utah.edu
School of Computing,
University of Utah
50 South Central Campus Drive,
Salt Lake City, Utah 84112
Publications
Peer-Reviewed Publications
An SMT Theory of Fixed-Point Arithmetic
Proceedings of the 10th International Joint Conference on Automated Reasoning (IJCAR), 2020