Arnab Das

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.
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