About me

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


  • ETH Zurich, September 2016 - May 2018
    M.Sc. in Computer Science
  • Zhejiang University, September 2012 - June 2016
    B.E. in Computer Science & Technology



DEBIN: Predicting Debug Information in Stripped Binaries
Jingxuan He, Pesho Ivanov, Petar Tsankov, Veselin Raychev, Martin Vechev
ACM CCS 2018