Our research vision is of a unification of computation and programmable communication. Challenges to this vision rise with respect to foundational principles as well as the realization of such distributed systems especially under real-time constraints.
The focus of our research lies, hence, on the following main areas: