About me

I am a PhD student at the Department of Computer Science at ETH Zurich since Mai 2018. I am part of the Secure, Reliable, and Intelligent Systems Lab and am supervised by Prof. Martin Vechev.


  • ETH Zurich, April 2018
    M.Sc. in Computer Science
  • ETH Zurich, September 2015
    B.Sc. in Computer Science



Unsupervised Learning of API Aliasing Specifications
Jan Eberhardt, Samuel Steffen, Veselin Raychev, Martin Vechev
PLDI 2019