Research Associate with an interest in programming languages, static analysis, and logics
Short description of portfolio item number 1
Short description of portfolio item number 2
