Thanh Son Nguyen

I am a PhD student in the School of Computing at the University of Utah.

Thanh Son Nguyen
Thanh Son Nguyen,
PhD Student

School of Computing,
University of Utah
50 South Central Campus Drive,
Salt Lake City, Utah 84112



Peer-Reviewed Publications

IJCAR 2020 screenshot

Marek Baranowski, Shaobo He, Mathias Lechner, Thanh Son Nguyen, Zvonimir Rakamaric
An SMT Theory of Fixed-Point Arithmetic
Proceedings of the 10th International Joint Conference on Automated Reasoning (IJCAR), 2020