UTFacultiesEEMCSDisciplines & departmentsFormal Methods and ToolsFMT welcomes three new visitors: Brenda, Lucio and Filiz

FMT welcomes three new visitors: Brenda, Lucio and Filiz

Brenda Dichiara and Lucio Mansilla started last week as research visitors from the National University of Río Cuarto, Córdoba, Argentina. They'll work within the MISSION project. 
And today, Filiz Yildiz started her Erasmus Exchange internship. For the coming two months, she will be working on the VerCors tool, supervised by Marieke Huisman.
Welcome to the three of you, we wish you lots of success!