Free Online Course on LAFF – On Programming for Correctness

Free Online Course on LAFF – On Programming for Correctness
Certificate fee scholarship is available for this course.

Institution: University of Texas
Start Date: At your own pace

Want to get an essential skill for computer programming then join this free online course entitled “LAFF – On Programming for Correctness”, provided by the University of Texas. The course shows how to construct correct programs is a skill.

In this course, you will learn how to derive programs hand-in-hand with their proofs of correctness. This course shows how to make the formal derivation of algorithms practical and will leave you pondering how our results might extend to other domains.

Course Summary

  • Duration: 7 weeks
  • Commitment: 4 to 6 hours per week
  • Subject:  IT
  • Institution: University of Texas
  • Languages: English
  • Price: Free
  • Session: At your own pace
  • Requirement:  None
  • Certificate Available: Yes

Who Developed the Course

The University of Texas at Austin is the top-ranked public university in a nearly 1,000-mile radius and is ranked in the top 25 universities in the world.

Target Audience

The audience of this MOOC extends beyond students and scholars interested in the domains of linear algebra algorithms and scientific computing.

Where Could This Lead You

After completing this course, you can apply for jobs in the given fields:


Get Extra Benefits

Get a verified certificate to highlight the knowledge and skills you acquire (₹ 3324 INR)

  • Official and approved-Get a certificate with the logo of the institution and the signature of a professor to show your achievements and increase your professional prospects
  • Easy to share-Add the certificate to your résumé or resume, or publish it directly on LinkedIn
  • Proven motivational measure-Give yourself an additional stimulus to complete the course

How to Join This Course

You can register yourself here.

Learning Outcomes

By the end of the course, you’ll be able to:

  • Develop assertions describing states in a program.
  • Prove programs correct using logic.
  • Build algorithms using goal-oriented programming techniques.
  • “Slice and dice” to discover families of loop-based algorithms for matrix computations.

Who Will You Learn With?

  • Maggie Myers: Lecturer, Department of Statistics and Data Sciences, the University of Texas at Austin
  • Robert van de Geijn: Professor of Computer Science, the University of Texas at Austin


  • Importance of Course:  At the end of the course, you will able to apply formal methods to systematically develop correct, loop-based programs.
  • Importance of Certificate: By the Certificate of Achievement you will be able to prove your success when applying for jobs or courses. You can display it on your LinkedIn or CV.

Detailed Information

For more information about the course, you may visit the Website.

Apply Now


Comment and Discuss.

Cookies and Privacy