Focuses on expanding approaches to teaching computing at all levels (K-12 and University) and the outreach to promote computing majors and careers.

Programming Language research focuses on type systems, program logics, language-based and differential privacy and security; language, compiler, and run-time design for reliable systems; static and dynamic analyses for real-time Android; run-time visualization and verification; adaptive memory management; language concepts for database programming; logic- and constraint-based systems.