Welcome to My Personal Website

Contact

trubab@mpi-sws.org

About Me

Hi, my name is Tamzid Morshed Rubab. My research interests lie in theoretical computer science, particularly logic and verification. I am a first year doctoral student at MPI-SWS in the Rigorous Software Engineering group under the supervision of Dr. Rupak Majumdar. I am currently working with him and Dr. Sadegh Soudjani on the data driven verification of reachability in stochastic systems.

I got my BSc in Data Science and Technology at the Hong Kong University of Science and Technology (2019-23). During that time, I explored various topics in theoretical computer science under the supervision of world-renowned researchers such as Prof. Amir Goharshady, Prof. Mordecai Golin, and Prof. Lionel Parreaux. Please checkout my Research projects for further details.