About me

I am Nikola Jovanović, 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 January 2022.


  • ETH Zürich, 2019–2021
    M.Sc. in Computer Science
  • Faculty of Computing, Union University, Belgrade, 2015–2019
    B.Sc. in Computer Science



FARE: Provably Fair Representation Learning with Practical Certificates
Nikola Jovanović, Mislav Balunović, Dimitar I. Dimitrov, Martin Vechev
ICML 2023


LAMP: Extracting Text from Gradients with Language Model Priors
Mislav Balunović*, Dimitar I. Dimitrov*, Nikola Jovanović, Martin Vechev
NeurIPS 2022 * Equal contribution
Private and Reliable Neural Network Inference
Nikola Jovanović, Marc Fischer, Samuel Steffen, Martin Vechev
ACM CCS 2022
On the Paradox of Certified Training
Nikola Jovanović*, Mislav Balunović*, Maximilian Baader, Martin Vechev
TMLR 2022 * Equal contribution
Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound
Claudio Ferrari, Mark Niklas Müller, Nikola Jovanović, Martin Vechev
ICLR 2022

Work Experience

  • Snap Inc, Jul–Sep 2019
    Software Engineering Intern at Camera Platform, Los Angeles
  • Improbable, Jul–Oct 2018
    Software Engineering Intern at Core Platform, London
  • Google, Jul–Oct 2017
    Software Engineering Intern at Research & Machine Intelligence, Mountain View
  • Google, Jul–Sep 2016
    Software Engineering Intern at Knowledge Engine, Zürich


  • ACM ICPC World Finals, 2020
    Honors, team ETH Zürich
  • ACM ICPC Southwestern Europe Regionals (SWERC), 2019
    Silver Medal, team ETH Zürich
  • International Olympiad in Informatics (IOI), 2015
    Bronze Medal
  • Balkan Olympiad in Informatics (BOI), 2015
    Bronze Medal
  • Microsoft Bubble Cup, 2014
    Silver Medal