Research

Research interests

Practical and formal aspects of the design, implementation and application, in particular to large-scale data-intensive software, of structured parallel programming languages and libraries. Applied formal methods in this context.

Research results are presented in my papers and talks (sorted by year, in DBLP).

Ongoing projects

Past projects

Students

Former Postdoctoral Researchers

Former Students

International and Young Researchers School Lectures

Organization and Program Chair

Guest editor

Programme committee member

PhD Committees

2018

2016

2015

2014

2013

2011

2009

2005-2008

Past Working Groups