Jeremy Siek

Personal information


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.

History


11 years 12 weeks