Teaching

Courses

Click on the course title to get to the page describing the course.

Thesis projects

I am particularly interested in programming languages, models, and tools for distributed systems and cloud computing. Here is a (nonexhaustive) website reporting projects that I am interested in following.