Jeff Foster
Location: (College Park, MD)
Personal Research Web Page: http://www.cs.umd.edu/~jfoster
Keywords: Programming languages, software engineering, security, type systems, scripting languages, symbolic execution, static analysis, program synthesis
Posted on: Thursday, May 12th, 2011
Broad Research Area: Information Assurance / Security / Privacy / Cryptography, Programming Languages / Compilers, Software Engineering
Research Interests:
My research focuses on programming languages, with applications to software engineering and security. The general goal of my research is to help developers rapidly construct software that is reliable, maintainable, and secure. In the past, I have done research on points-to analysis; type qualifiers; foreign function interfaces; data race detection; network protocol implementations; modularity for C; and ownership systems, among others. Currently, I am working on several research directions, including studying typing scripting languages, working on program synthesis, and studying security on Android.
All of my work involves both theory and practical implementations of software tools.
In addition to the topics above, I would be happy to explore related ideas for projects.
Contact Information:
Please send email to jfoster@cs.umd.edu.
