About

In the distance, I spot a plain wooden table with two boxes upon it. Being naturally inclined to approach the table, I find that the first box contains an infinite number of wooden pieces. I could put them together in countless ways, limited only by my creativity and commitment.

I briefly resist the temptation and peek into the second box, where I see a tremendously intricate mechanism assembled from infinitely many wooden pieces. This time, the temptation is impossible to resist. I examine the object from every possible angle, try to figure out what it does and how it does it, and whether I can use the pieces from the first box to improve it. Should these pieces turn out to be insufficient, I will go look for a knife and some lumber.

Short bio

After getting an MSc in Pure Mathematics from the University of Zagreb, I started my PhD in Computer Science at ETH Zurich, and I finished it at the University of Oxford. I am now a postdoctoral researcher at the Max Planck Institute for Software Systems, where I work with Rupak Majumdar. The details can be found in my thesis and CV.

Publications