Debangshu Banerjee

I am a 2nd year PhD student in the Computer Science department at the University of Illinois, Urbana-Champaign. I am interested in Formal Reasoning about large scale differentiable programs. I am presently advised by Prof. Gagandeep Singh.

I am currently looking into different problems related to Deep Neural Network (DNN) verification including - verification of relational properties, incremental verification and formal guarantees for DNN intepretation techniques.