Robert van de Geijn

 

 


 

With a Ph.D. in applied mathematics, Robert van de Geijn is a professor of Computer Science and a member of the Institute for Computational Engineering and Sciences and the Division of Statistics and Scientific Computation at the University of Texas at Austin. Prof. van de Geijn is a leading expert in the areas of high-performance computing, linear algebra libraries, parallel processing, and formal derivation of algorithms. He is the recipient of the 2007-2008 President’s Associates Teaching Excellence Award from The University of Texas at Austin.

More info: http://www.cs.utexas.edu/~rvdg/




Customize your search:

E.g., 2017-06-24
E.g., 2017-06-24
E.g., 2017-06-24
Apr 11th 2017

Learn to apply formal methods to systematically develop correct, loop-based programs, an essential skill for computer programmers. Is my program correct? Will it give the right output for all possible permitted inputs? Computers are now essential in everyday life. Incorrect programs lead to frustration in the best case and disaster in the worst. Thus, knowing how to construct correct programs is a skill that all who program computers must strive to master.

No votes yet
Jan 25th 2017

Learn the mathematics behind linear algebra and link it to matrix software development. Linear Algebra: Foundations to Frontiers (LAFF) is packed full of challenging, rewarding material that is essential for mathematicians, engineers, scientists, and anyone working with large datasets.

Average: 7.9 (7 votes)