About Me

I am looking for jobs; targeting research laboratories and big tech and innovation-driven companies.

I pursued my PhD in Computer Science at The University of Utah's School of Computing under Prof. Stutsman & Prof. Gopalakrishnan supervision. I was a member of the formal verification group that focuses on software verification, resilient systems research and theory. My work focused on practical Declarative Specification and Verification of Distributed Systems.

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).