souradeep-111

Hi, Souradeep here. I am currently a Postdoctoral Scholar, at UPenn. Current interests include- Formal Methods, AI, RL, and general learning

University of Colorado, BoulderBoulder, CO, USA