Verified Certificate

Supported by the following organizations

This is to certify that Matthew Curtis Kelley successfully completed and received a passing grade in UT.P4C.14.01x: LAFF – On Programming for Correctness a course of study offered by UTAustinX, an online learning initiative of University of Texas System.

Noted by

James W. Pennebaker

James W. Pennebaker

Executive Director of Project 2021 and Regents Centennial Professor of Psychology The University of Texas at Austin

Dr. Robert van de Geijn

Dr. Robert van de Geijn

Professor of Computer Science The University of Texas at Austin

Dr. Maggie Myers

Dr. Maggie Myers

Lecturer The University of Texas at Austin

About edX

edX offers interactive online classes and MOOCs from the world’s best universities, including MIT, Harvard, Berkeley, University of Texas, and many others. edX is a mission driven initiative created by founding partners Harvard and MIT.

About edX Verified Certificates

An edX Verified Certificate signifies that the learner has agreed to abide by the edX honor code and completed all of the required tasks of this course under its guidelines, as well as having their photo ID checked to verify their identity.