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
03/21/2016 - In addition to his role as a professor, UT Computer Science’s Robert van de Geijn is the Director of the ICES’ Science of High-Performance Computing (SHPC) Group. 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
11/14/2011 - Texas Instruments Collaboration enables developers of high performance computing equipment to benefit from lower power systems and more rapid application development. Read more
Subscribe to Topic: Robert van de Geijn