COVID-19 UPDATES • 1/15/2021
Clickable word cloud describing CSE research areas. The relative relative word sizes represent the number of faculty working in each area. Photo credit: Christian Miller
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.