SC20 Is Everywhere We Are

SC20 Virtual Platform
Biography
Arnab Das is currently a Computer Science PhD student at the University of Utah,
focussing on developing scalable floating-point error analysis
techniques for numerical kernels pertaining to HPC applications.
These techniques are then leveraged to synthesize efficient error detectors
fitting application specific requirements.
During summer'19 he worked as a Formal Verification intern with Intel Corp.
in their datapath verification team.
Prior to joining University of Utah as a graduate student, he worked as verification engineer in the areas of hardware verification and cpu architecture validation.
Presentations
Paper
Algorithms
Floating Point
TP
Best Student Paper Finalist
Back To Top Button