Mohammed S. Al-Mahfoudh
My Face by Titan Face

I am currently pursuing my PhD in Computer Science in The University of Utah's School of Computing under Professor Gopalakrishnan's supervision. I am a proud member of his formal verification group that focuses on software verification, resilient systems research and theory. My current work focuses on practical HPC and Massively parallel softwre verification and debugging at scale under the Parachute umbrella project initiated by a collaboration between Eric Mercer (BYU), Vivek Sarkar (Rice) and Prof. Ganesh Gopalakrishnan (University of Utah).

Previously, I received my MS from the University of Utah under Prof. Gopalakrishnan's supervision. My BSc in Information and Computer Science was completed at King Fahd University of Petroleum and Minerals (KFUPM).