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