Verified Certificate

Supported by the following organizations

This is to certify that Octavian Neamtu successfully completed and received a passing grade in CSMS.ML.329: Automated Logical Reasoning a course of study offered by UTAustinX, an online learning initiative of University of Texas System.

Noted by

Dr. Don Fussell

Dr. Don Fussell

Department Chair of Computer Science The University of Texas at Austin

Dr. Adam Klivans

Dr. Adam Klivans

Program Director The University of Texas at Austin

Dr. Isil Dillig

Dr. Isil Dillig

Associate Professor 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.