During my career, I have been teaching several courses about computer science in general, object oriented programming languages, software engineering, formal methods, and static analysis. Here you can find information about the courses I’m currently teaching, as well as some thesis proposals.