We read every piece of feedback, and take your input very seriously.
Include my email address so I can be contacted
Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseI am a full-stack developer pursuing Ph.D. from IIT Kanpur on Program Analysis & Verification using machine learning and formal methods under the supervision of Dr. Subhajit Roy.
My technical expertise lies in delivering data driven full-stack applications from development to deployment. Building web-apps for Zero3 Inc as a Tech Lead. I help startups deliver their technical goals, ping me for a quick meet. I completed my bachelors in mechanical engineering from NIT Durgapur.
For the past few years, I have been consulting various startups on the tech-stack they use and helping them out in some of their technical endevours.
Checkout my System-Design repository for insights and articles I read and collected over the past years. I implemented some of them for my own ideas and for PingTrader, Pluto-Office and other startups that I have worked with.
Check out educative.io for an awesome course on System Design (recommended by highscalability.com).
A discussion snippet from my presentation at Uber
It's just fascinating. How is modern software designed? 🤔 Some design-level considerations for scalability, maintainability eventual consistency, availability & reliability. 👨💻 Interview Prep. 👨💻
Forked from lahiri-phdworks/LLVM-Examples
LLVM Repository and Code samples. LLVM Passes and quick bytes.
LLVM 1
Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework (CO).