Registered user since Mon 16 Dec 2024
Name:Artem Yadrov
Bio:
Artem Yadrov is a PhD student at the University of Utah whose research focuses on numerical analysis, compiler development, and formal verification.
Country:United States
Affiliation:University of Utah
GitHub: https://github.com/AYadrov
Research interests:Floating point, Error analysis, Compiler Development, Verification
Contributions
Using general profile