Department of Informatics

Midway assessment: Jonathan Prieto Cubides

PhD candidate Jonathan Prieto Cubides will hold his Midway presentation as part of the Midway Assessment requirements.

Supervisory committee:


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!