Robert Muller
Bob Muller visited SDG during the Fall fo 2005 while on sabadical from Boston College (BC), where he is chairmen of the CS department. He researches high-performance certifying compilers for higher-order typed programming languages such as Standard ML. He is particularly interested in type-safe memory management. In the last few years, he has been an active member of the Church Project.
URL: http://www.cs.bc.edu/~muller/