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
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.   Read more
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.   Read more
Subscribe to Topic: Margaret Meyers