Welcome to my homepage. I have completed my PhD in Computer Science at Stony Brook University in December, 2015. I worked at Concurrency and Verification lab under the supervision of Prof. Scott Smolka and Prof. Radu Grosu . From January 2016, I am working with Prof. Edmund Clarke, a recipient of 2007 ACM Turing Award, as postdoctoral scholar at Carnegie Mellon University . My research interest lies in the area of modeling, verification and control of cyber-physical systems by combining techniques from formal verification, control theory and nonlinear optimization.
I finished my undergrad in Computer Science and Engineering in 2009 at Bangladesh University of Engineering and Technology (BUET), the leading engineering school in Bangladesh. In my undergrad thesis, I worked in the area of computational geometry under the supervision of prof. Masud Hasan .
This website is about me and my interests. Please follow the navigation menu to know more about my research works and interests.