Matko Botincan

Matko Botincan

University of Cambridge
Computer Laboratory
15 JJ Thomson Avenue
Cambridge CB3 0FD
United Kingdom

linkedin facebook twitter


I am PhD student at the Programming, Logic, and Semantics Group of the University of Cambridge Computer Laboratory, supervised by Prof. Michael J. C. Gordon and Matthew Parkinson, and funded as a Gates Cambridge Scholar. I am also a honorary Trinity College External Research Scholar.

My research is aimed at developing ways for synthesising optimised software systems by using rigorous mathematical, formal analysis and verification techniques. I am particularly interested in such optimisations for concurrent, parallel and distributed systems, large-scale data processing systems, and energy-constrained systems such as mobile devices. In my PhD work, I was investigating novel approaches to automated parallelisation, by using separation logic, symbolic model checking and computational learning. I am generally interested in topics related to programming languages, concurrency, machine learning and systems.

My background is in mathematics and computer science, with a M.Sc degree in Mathematics from Faculty of Natural Sciences and Mathematics at University of Zagreb. Before I started my PhD, I worked on topics in combinatorial optimisation (path and routing problems) and applied mathematics (mathematical modelling and numerical simulations of partial differential equations).

My previous positions include:


Under submission