Suman Jana

Suman's picture I am an assistant professor in the department of computer science at Columbia University. My primary research interests are in the areas of computer security and privacy. More specifically, I am interested in building automated tools for finding and fixing security and privacy vulnerabilities. I also occasionally delve into software engineering, machine learning, and operating systems.

Email: suman (AT)

Office: Mudd 412
    500 W 120th St
    New York
    NY 10027



  • New paper on formal verification of NN in NIPS 2018
  • ReluVal and Moonshine code is public (see below)
  • NSF medium (joint with NYU) grant on DL testing
  • ARO YIP award 2018
  • Two papers in USENIX Security 2018