In general, programming languages, formal methods, software engineering.
In particular, program synthesis (both automated and human in the loop, both applied and fundamental, basically anything related to program synthesis is something interesting to me), and program analysis and verification (automated)

Before applying for this opportunity you need to submit your online profile. Click the button below to continue.