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) Read more
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). Read more
06/27/2014 - On January 29, UT Computer Science made its first venture into the world of MOOCs (massively open online courses). We invite you to come along for the ride. UTCS faculty (and by the way spouses) Robert van de Geijn and Maggie Myers are teaching a 16 week course on linear algebra from a computer science perspective. The course is launched by edX, UT’s non-profit partner which manages MOOCs. Read more
Subscribe to Topic: edX