ICFP/SPLASH 2025 (series) / 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
Personal website: https://lahiri.netlify.com/
Research interests:System Design, Software Architecture, Machine Learning, Compiler, Super optimizations, Almost Verification, Bounded Model Checking, Fuzzing, Verification
Contributions
Using general profile