Anirudh Gupta · IISc Bengaluru
Presentation given on PastaLean by Anirudh Gupta in Summer School:LeanLang for Programmers, at IISc Bengaluru.
An introduction to Lean for mathematicians, given at MMC Nurture Camp 2026, B.K. Birla College, Kalyan.
An introduction to Lean for Mathematics and Software verification, testing vs. proving, AI, and where it's used in industry.
A series of talks on basic Systems Architecture by me (Anirudh Gupta) and Palak Raisinghani, at IISc Bengaluru.
Hardware vs software, the OS & kernel and privilege, then the memory hierarchy — registers, caches, DRAM — and an intro to virtual memory & paging.
Cache write policies (write-back/through), coherence & snooping, then paging, page tables, the TLB, shootdowns and page faults.
Each presentation is made with effort to make things easier for everyone to understand. I don't like complicated stuff — the easier to visualize and communicate, the better. I hope you like them. Do share my slides if they help you!