Published numerous papers and received funding from several NSF grants such as NSF 2446084, NSF 2403379, NSF 2346394, etc. Participated in PLDI 2025 Array Workshop and delivered lectures at the SPARC Lecture Series.
Research Experience
Currently a Professor of Computer Science at the University of Utah, serving as Principal Investigator on multiple DOE and NSF projects, including 'ComPort: Rigorous Testing Methods to Safeguard Software Porting' and 'NSF REU Site: Trust and Reproducibility of Intelligent Computation'.
Education
Ph.D. from State University of New York, Stony Brook in 1986.
Background
Research interests include supercomputing, floating-point arithmetic, and formal methods. Specializes in computer science.
Miscellany
Personal interests include teaching automata and computability using Google Colab.