About me

I am Mislav Balunović, a PhD student at the Department of Computer Science, ETH Zürich. I am part of the Secure, Reliable, and Intelligent Systems Lab, supervised by Martin Vechev, since April 2019.

Education

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

Awards

ETH Medal for Outstanding Master Thesis 2020

Publications

2022

Fair Normalizing Flows
Mislav Balunović, Anian Ruoss, Martin Vechev
ICLR 2022
Bayesian Framework for Gradient Leakage
Mislav Balunović, Dimitar I. Dimitrov, Robin Staab, Martin Vechev
ICLR 2022

2021

Robustness Certification for Point Cloud Models
Tobias Lorenz, Anian Ruoss, Mislav Balunović, Gagandeep Singh, Martin Vechev
ICCV 2021
Scalable Polyhedral Verification of Recurrent Neural Networks
Wonryong Ryou, Jiayu Chen, Mislav Balunović, Gagandeep Singh, Andrei Dan, Martin Vechev
CAV 2021
Certified Defenses: Why Tighter Relaxations May Hurt Training
Nikola Jovanović*, Mislav Balunović*, Maximilian Baader, Martin Vechev
arXiv 2021 * Equal contribution
Certify or Predict: Boosting Certified Robustness with Compositional Architectures
Mark Niklas Müller, Mislav Balunović, Martin Vechev
ICLR 2021
Efficient Certification of Spatial Robustness
Anian Ruoss, Maximilian Baader, Mislav Balunović, Martin Vechev
AAAI 2021

2020

Learning Certified Individually Fair Representations
Anian Ruoss, Mislav Balunović, Marc Fischer, Martin Vechev
NeurIPS 2020
Adversarial Training and Provable Defenses: Bridging the Gap
Mislav Balunović, Martin Vechev
ICLR (Oral) 2020

2019

Certifying Geometric Robustness of Neural Networks
Mislav Balunović, Maximilian Baader, Gagandeep Singh, Timon Gehr, Martin Vechev
NeurIPS 2019
Learning to Fuzz from Symbolic Execution with Application to Smart Contracts
Jingxuan He, Mislav Balunović, Nodar Ambroladze, Petar Tsankov, Martin Vechev
ACM CCS 2019
DL2: Training and Querying Neural Networks with Logic
Marc Fischer, Mislav Balunović, Dana Drachsler-Cohen, Timon Gehr, Ce Zhang, Martin Vechev
ICML 2019

2018

Learning to Solve SMT Formulas
Mislav Balunović, Pavol Bielik, Martin Vechev
NeurIPS (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