# CSE

**Source**: https://cse.iitk.ac.in/pages/InflectionsInComputing.html
**Parent**: https://cse.iitk.ac.in/

#### Hari Sahasrabuddhe Lecture Series

*A lecture series in honor of [**Hari Sahasrabuddhe**](https://www.cse.iitb.ac.in/~hvs/index.html), a pioneer in Computer Science Education in India to be delivered by people who have made pioneering advances in the theory and practice of computing.*

Any field of human endeavor is typically punctuated with major shifts in principles and metaphors that apply. Often these changes can be attributed to individuals, who through their insight and enterprise bring about paradigmatic changes in the theory and practice of that domain. This lecture series is intended to bring the young minds at IIT Kanpur in contact with such pioneers in the domain of computing, for interaction, understanding and inspiration.

The lecture series is sponsored by Mr. N. R. Narayana Murthy, a [*distinguished* *alumnus*](https://iitk.ac.in/dora/profile/sri-narayan-murthy) of IIT Kanpur

**Lecture 1 :** [Advances in Compilers in Last 40 Years](https://cse.iitk.ac.in/pages/Lecture1.html) by Frances E. Allen, 2007.

**Lecture 2 :** [When Biology is Computation](https://cse.iitk.ac.in/pages/Lecture2.html) by Prof. Leslie G. Valiant, 2008. [[Poster]](https://cse.iitk.ac.in/pdf/poster_valiant.pdf)

**Lecture 3 :** [The Power of Abstraction](https://cse.iitk.ac.in/pages/Lecture3.html) by Prof. Barbara H. Liskov, 2009. [[Poster]](https://cse.iitk.ac.in/pdf/poster_liskov.pdf)

**Lecture 4 :** [The Unexplained Success of Heuristic Algorithms for NP-Hard Combinatorial Optimization Problems](https://cse.iitk.ac.in/pages/Lecture4.html) by Prof. Richard M. Karp, 2010.

**Lecture 5 :** [Physarum Computations](https://cse.iitk.ac.in/pages/Lecture5.html) by Prof. Kurt Mehlhorn, 2012. [[Poster]](https://cse.iitk.ac.in/pdf/poster_melhorn.pdf)

**Lecture 6 :** [Homotopy Type Theory](https://cse.iitk.ac.in/pages/Lecture6.html) by Prof. Steve Awodey, 2015. [[Poster]](https://cse.iitk.ac.in/pdf/poster_awodey.pdf)   [[Slides]](https://cse.iitk.ac.in/pdf/slides_awodey.pdf)

**Lecture 7 :** [Learning Symbols for Trustworthy AI](https://cse.iitk.ac.in/pages/Lecture7.html) by [Prof. Rajeev Alur](https://www.cis.upenn.edu/~alur/), 2025. [[Poster]](https://cse.iitk.ac.in/pdf/poster_alur.pdf)   [[Slides]](https://cse.iitk.ac.in/pdf/slides_alur.pdf)  [[Lecture Video]](https://cse.iitk.ac.in/videos/CSE-Research-Day-2025.mp4)

[Rajaraman Lecture Series](https://cse.iitk.ac.in/pages/eyesonresearch.html) | Hari Sahasrabuddhe Lecture Series