Talks

Semantics & Static Type Analysis of Python Programs
September 29, 2019 15:00
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 2019-2020, I am teaching assistant in the following courses:

  • LU1IN001: introduction to programming (using Python).
  • MU4IN500: advanced algorithmics.

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