Started in January 2016 the new project in collaboration with Rice University, funded by FLAD – Luso-American Development Foundation, under the “FLAD/NSF 2015 Portugal-U.S. Research Networks Program”.
The project entitled “Static Verification of Safe Parallelism” will complement the research of an existing project, funded by NSF (USA), that is being developed by Brigham University, Rice University, and University of Utah.