Mohammad Ahmadi is a PhD student at University of South Florida. He finished his Bachelor of Science degree in 2019 majoring in computer engineering. He then joined the SEES lab at University of South Florida to work under the supervision of Dr. Hao Zheng. Currently, his focus is on verification and analysis of probabilistic models. Mohammad enjoys running, movies, and watching physics lectures on Youtube.
PhD in Computer Science and Engineering
University of South Florida
BSc in Computer Engineering, 2019
Shahid Beheshti University