Paramita ChoudhuryComputational scientist — HPC, performance analysis, machine learning, and formal reasoning.