I recognized his face from MIT 6.006 Introduction to Algorithms course [1]

[1] https://www.youtube.com/playlist?list=PLUl4u3cNGP61Oq3tWYp6V...