CS prof in programming languages and compilers; research emphasis in static analysis of functional languages:http://matt.might.net/
