Midway assessment: Jonathan Prieto Cubides
PhD candidate Jonathan Prieto Cubides will hold his Midway presentation as part of the Midway Assessment requirements.
Professor Marc Bezem (principal supervisor), Department of Informatics, UiB.
Associate professor Haåkon Gylterud (co-supervisor), Department of Informatics, UiB
Working title: «Formalizing graph theory ».
Midway Evaluation committee: Pierre Cagne and Michal Walicki.
All are welcome!