Our research focuses on program analysis with a strong focus on language-based security, particularly information flow control, inline reference monitors, web application security, Internet of Things devices, and concurrent systems.
Our courses cover a wide range of topics, from computer science fundamentals to software engineering, software security topics, and program analyses.
