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.

Courses