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
    Best Master's degree in computer science
  • ETH Zurich, September 2015
    B.Sc. in Computer Science




zkay: Specifying and Enforcing Data Privacy in Smart Contracts
Samuel Steffen, Benjamin Bichsel, Mario Gersbach, Noa Melchior, Petar Tsankov, Martin Vechev
ACM CCS 2019
Unsupervised Learning of API Aliasing Specifications
Jan Eberhardt, Samuel Steffen, Veselin Raychev, Martin Vechev
PLDI 2019