I am a PhD Student of Computer Science at the University of Virginia . My research is mostly focused on the automated verification of security and privacy in software by using program analysis and machine learning techniques. My research advisor is Yuan Tian.
I spent the Summer '20 as an Applied Scientist Intern at Amazon Web Services (AWS), where I was supervised by Willem Visser to design and implement a new data-flow analysis framework for a variant of program dependence graph of Java and Python.
I completed my B.Sc in Computer Science and Engineering from Bangladesh University of Engineering and Technology (BUET).