This fund supports Professor Jeff Foster and his work a member of the programming languages group at Maryland. The goal of his research is to develop practical tools and techniques to improve software quality. His work involves programming languages, software engineering, advanced static type systems, and scalable constraint-based analysis. |