Sumit Lahiri

Registered user since Sat 3 Apr 2021

Name:Sumit Lahiri
Bio:

I love developing software that solves real-world problems and bridges the gap between theory and practice. I am currently pursuing a Ph.D. in Computer Science & Engineering at IIT Kanpur under the guidance of Dr. Subhajit Roy (IIT Kanpur)

Country:India
Affiliation:Indian Institute of Technology Kanpur
Research interests:System Design, Software Architecture, Machine Learning, Compiler, Super optimizations, Almost Verification, Bounded Model Checking, Fuzzing, Verification

Contributions