UTFacultiesEEMCSDisciplines & departmentsFormal Methods and ToolsNewsWelcome to three new FMT members: Reza Soltani, Iman Hemati and Nhung Dang

Welcome to three new FMT members: Reza Soltani, Iman Hemati and Nhung Dang

This month (September 2022) we welcome Reza Soltani, Iman Hemati Moghadam and Nhung Dang. 
Reza (PhD student), and Nhung (post doc), will both be working in the CAESAR project, under supervision of Marielle Stoelinga.
Iman is post doc on source code analysis and manipulation, under supervision of Vadim Zaytsev.