Matthew Christensen Email & Phone Number

Salt Lake City Metropolitan Area

Lehi, Utah, United States

• Developing an iOS/Android Flutter app that allows groups to pick a restaurant by swiping through options• Validated app usability through 3 rounds of user testing by creating a high-fidelity UX prototype in Adobe XD• Created a Firebase REST API that implements user login/registration, group and outing creation, messaging, etc.

Provo, Utah, United States

• Built and published a functional real estate website with React Native within a scrum team• Defined product requirements and design by creating UX wireframes in Figma that fulfilled the product owner’s vision• Created an account page, feed of user posts, and other front-end components• Connected frontend UI to a cloud backend layer by developing a server façade interface that calls Lambda Functions through an AWS Gateway API

Albuquerque, New Mexico, United States

• Developed a tool that increased reverse engineer’s understanding of the effects of Ghidra parameters by sweeping possible values and presenting the differences to the analyst• Increased test development efficiency by 70% by creating a compiler that translates Python to a three-address language

Provo, Utah Area

•Formally verified that the Secure Socket API creates a secure TLS connection by writing a proof by contract calculus•Created a C static analyzer that guarantees termination by creating an abstract interpreter with a custom memory model▪ Led team of 10 research assistants in monthly discussions analyzing recent relevant scholarship to maintain familiarity with the current research and promote a culture of continuous learning in the lab▪ Authored a 12-page technical tool paper successfully detailing the implementation of an abstract interpreter and its semantics, demonstrating the achievements and future goals of the laboratory’s research, and facilitating further funding through grant proposals▪ Created 14 pages of formal documentation for a TLS implementation wrapper that demonstrated the soundness of the implementation by showing how the state space changes with each potential function call▪ Presented lab’s recent research findings to 120+ STEM undergraduates in a university conference, increasing awareness and support for formal and abstract verification within the university

Albuquerque, New Mexico, United States

• Reduced the state-space of an abstract interpretation engine by 60% while maintaining equal accuracy by implementing an overwrite merge policy▪ Promoted static analysis awareness by presenting research findings to 60+ employees across multiple disciplines