[Picture of Jeff]
Jeff Foster

Associate Chair for Graduate Education
Department of Computer Science
University of Maryland, College Park

Email: jfoster at cs.umd.edu
Office: 3423 A.V. Williams (inside 3400)
Phone: (301) 405-2751
(Please read this before e-mailing me)

I am a Professor in the Computer Science Department and UMIACS at the University of Maryland, College Park. I am a member of the programming languages group at Maryland. The goal of my research is to develop practical tools and techniques to improve software quality. I am interested in programming languages, software engineering, advanced static type systems, scalable constraint-based analysis, and building tools that implement my ideas.

Recent Publications and Drafts

All publications

Current Students/Post Docs

Past Undergraduate, Graduate Students, Post Docs:

Professional Activities


  • RDL - Types and contracts for Ruby
  • Talks - A web app to manage talks
  • DRuby - Adding static typing to Ruby
  • VS3 - Verification and Synthesis using SMT Solvers
  • Arrowlets - Directing JavaScript with arrows
  • Path Projection - Visualizing program paths for user-centered static analysis
  • Uno - Inferring aliasing and encapsulation for Java
  • JQual - Type qualifier inference for Java
  • CMod - Enforcing modular programming in C
  • Pistachio - A rule-based static analysis tool for network protocol implementations
  • Locksmith - A static analysis tool for detecting data races in C programs
  • Saffire - Static Analysis of Foreign Function Interfaces
  • CQual - A tool for adding type qualifiers to C.


I am always looking for new students interested in working with me on research projects in programming languages as applied to software engineering problems. If you are interested in finding out more about recent work in programming languages, please get in touch!

Valid HTML 4.01!