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.
- 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.
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.
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.
For more information about the course, you may visit the Website.Apply Now