MOOC

05/15/2018 - The only effective way to raise the confidence level of a program significantly is to give a convincing proof of its correctness. But one should not first make the program and then prove its correctness, because then the requirement of providing the proof would only increase the poor programmer’s burden. On the contrary: the programmer should let correctness proof and program grow hand-in-hand. - “The Humble Programmer,” Edsger W. Dijkstra (1972)

01/22/2018 - On January 23, 2018, UTCS faculty (and spouses) Robert van de Geijn and Maggie Myers will kick off the seventh run of their 16 week MOOCs (Massively Open Online Course) on linear algebra from a computer science perspective called Linear Algebra - Foundations to Frontiers (LAFF). The course is self-paced with a suggested calendar but everything is due by the close of the course on May 31.

12/12/2016 - On January 25, 2017, UTCS faculty (and spouses) Robert van de Geijn and Maggie Myers will kick off the fifth run of their 16 week MOOCs (Massively Open Online Course) on linear algebra from a computer science perspective called Linear Algebra - Foundations to Frontiers (LAFF) Robert and Maggie have enhanced the course by working with MathWorks to enable participants to use Matlab freely during the course.

12/09/2014 - On January 28, 2015 UTCS faculty (and by the way spouses) Robert van de Geijn and Maggie Myers will kick off the second year of their 16 week MOOCs (massively open online course) on linear algebra from a computer science perspective called Linear Algebra - Foundations to Frontiers. Robert and Maggie have enhanced the course by working with MathWorks to enable participants to use Matlab freely during the course.

06/27/2014 - On January 29, UT Computer Science made its first venture into the world of MOOCs (massively open online courses). Learn linear algebra theory with the practice of software library development.