Verified Certificate

Supported by the following organizations

This is to certify that Fotios Spinos 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

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.