Research output per year
Research output per year
I am passionate about exploring the intersection of programming languages and software engineering. My research focuses on static program analyses, specifically language-based security, information flow control, and automated program repair.
Research output: Contribution to journal › Journal article › Research › peer-review