Talks

Semantics & Static Type Analysis of Python Programs
July 2, 2019 12:00
Static Analysis by Abstract Interpretation of Dynamic Programming Languages
October 23, 2018 14:40

Teaching

During 2018-2019, I am a teaching assistant in the following courses: