Education

  • ETH Zurich, September 2017 - April 2019
    M.Sc. in Computer Science
  • University of Zagreb, September 2014 - June 2017
    B.Sc. in Mathematics

Publications

2018

Learning to Solve SMT Formulas
Mislav Balunovic, Pavol Bielik, Martin Vechev
NIPS (oral) 2018

Work experience

  • SigOpt, San Francisco, 07/2017 - 09/2017
    Research Engineering Intern
  • Twitter, San Francisco, 07/2016 - 10/2016
    Software Engineering Intern
  • Facebook, Menlo Park, 07/2015 - 10/2015
    Software Engineering Intern

Major achievements

2017 ACM ICPC World Finals USA 27/133
2016 Central European Regional Contest (CERC) Croatia 2/67
2014 Central European Regional Contest (CERC) Poland 4/79
2014 International Olympiad in Mathematics (IMO) South Africa Gold medal
2014 International Olympiad in Informatics (IOI) Taiwan Silver medal
2014 Central European Olympiad in Informatics (CEOI) Germany Silver medal
2014 Croatian Olympiad in Mathematics (HMO) Croatia Gold medal
2013 International Olympiad in Mathematics (IMO) Colombia Bronze medal
2013 International Olympiad in Informatics (IOI) Australia Silver medal
2013 Croatian Olympiad in Informatics (HIO) Croatia Gold medal