Lambda the Ultimate

My research interests are in the areas of programming languages and software engineering with applications in the computational sciences. In particular, I am interested in language support for high-performance software libraries and domain specific languages. My research includes work in type systems, optimizing compilers, program logics, and language facilities for program generation.