Biography

I come from Croatia where I finished my previous degrees in Mathematics. So far I have worked on a number of computer science projects in academia and industry dealing with different topics such as combinatorial optimization, numerical simulations, compiler construction, security and semantic web. As a PhD student at Computer Laboratory I am working in the area of software verification trying to find new and improve current techniques for checking correctness of software. I am also actively involved in entrepreneurial activities and am serving as Vice-President for 2010/11 of Cambridge University Entrepreneurs.