Joshua Hooker Email & Phone Number

Chandler, Az, Us

Chandler, Arizona, United States

Provo, Utah, United States

I worked with Dr. Eric Mercer in his Verification and Validation lab. As his mentee, I was responsible for helping develop and prove correct a new data race detection algorithm for task parallel programs. I also helped create a model and verify properties for a critical system.

Provo, Utah, United States

I worked for many professors, for the following classes:Computer SystemsTest, Analysis, and VerificationVerification and ValidationIn this role, I was responsible for mundane tasks such as grading, but I was also given the opportunity to teach students in one on one meetings, as well as in groups to further their understanding of the relevant content.