UTFacultiesEEMCSDisciplines & departmentsFormal Methods and ToolsNewsMohsen Safari successfully defended his PhD thesis

Mohsen Safari successfully defended his PhD thesis on Wednesday 6 July 2022

Mohsen Safari started his research beginning of February 2018 within the MERCEDES project, and was supervised by prof. dr. Marieke Huisman. This research resulted in a solid thesis: 'Correct Optimized GPU Programs'.