Shriram Krishnamurthi: Talks
cs.brown.edu · 245 words · saved by 1 readers
Several of my talks are now on YouTube, and I've archived them on this playlist. Some highlights include:
Recent Talks Several of my talks are now on YouTube, and I've archived them on this playlist. Some highlights include: The Human Factors of Formal Methods, on how human factors and cognitive science can improve formal methods (hosted by Stanford HCI, 2024) On the Expressive Power of Programming Languages, a tribute to my favorite paper (at Papers We Love, 2019) Teaching Computational Thinking, about what's problematic about that term (hosted by EPFL, 2018) Curriculum Design as an Engineering Problem, a summary of the design of Bootstrap (hosted by Jane Street, 2018) About the first…
saved by
related reading
- The Role of Computer Science in Computer Science Educationyoutube.com
- Pedagogy Recommendationsparentheticallyspeaking.org
- The Best Tacit Knowledge Videos on Every Subject — LessWronglesswrong.com
- Tools, Computing, and Research Labs — James Hill-Khuranajameshk.com
- HSRGnotes.ekzhang.com
- Jason Weijasonwei.net
- https://danluu.comdanluu.com
- Shreya Shankarshreya-shankar.com
- How to Speakyoutube.com
- Jane Street Blog - Formal methods and the future of programmingblog.janestreet.com
- Eric Jangevjang.com
- rsrch spacersrch.space