Upcoming Projects

Soon-to-be-started projects in which FMT will participate are listed below. Lists of current projects and completed projects are available too.

University funding

ViGARO: Verified Generation of Parallel Software (start: Sep 2017)