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.

Education

  • ETH Zurich, April 2018
    M.Sc. in Computer Science
    Best Master's degree in computer science
  • ETH Zurich, September 2015
    B.Sc. in Computer Science

Awards

Publications

2019

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