Ornela Dardha

• Coordination Models and Languages
• Type Systems for Distributed Programs