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

2020

zkay v0.2: Practical Data Privacy for Smart Contracts
Nick Baumann, Samuel Steffen, Benjamin Bichsel, Petar Tsankov, Martin Vechev
arXiv 2020
Probabilistic Verification of Network Configurations
Samuel Steffen, Timon Gehr, Petar Tsankov, Laurent Vanbever, Martin Vechev
ACM SIGCOMM 2020 Best Student Paper Award
λPSI: Exact Inference for Higher-order Probabilistic Programs
Timon Gehr, Samuel Steffen, Martin Vechev
PLDI 2020

2019

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

Teaching

  • Head TA
    Rigorous Software Engineering (Spring 2020)
  • Teaching Assistant
    Reliable and Interpretable Artificial Intelligence (Fall 2018-2020), Parallel Programming (Spring 2019)
  • Student TA
    Data Structures and Algorithms (Spring 2014-2015), Linear Algebra (Fall 2014)