Sumit Lahiri

icon indicating a website link https://lahiri.netlify.app/ icon indicating an email [email protected]

icon company Indian Institute of Technology Kanpur icon location CS PhD @ IIT Kanpur icon location CS Ph.D. (Program Analysis, ML & Verification). Full-Stack Developer, TCS RSP Fellow, @zero3inc CTO. Ex-SDE @golemfactory. Open Source @youtube, @gollvm

Results 2 repositories owned by Sumit Lahiri

System-Design

1.8k
Stars
352
Forks
Watchers

It's just fascinating. How is modern software designed? 🤔 Some design-level considerations for scalability, maintainability eventual consistency, availability & reliability. 👨‍💻 Interview Prep. 👨‍...

verified publisher icon codersguild

Software-Analysis-PAVT

34
Stars
6
Forks
Watchers

Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework (CO).

verified publisher icon codersguild