Theoretical Computer Science
204 items from mostafatouny/awesome-theoretical-computer-science ★1,218
-
Bengt. Programming in Martin-Löf's Type Theory cse.chalmers.se
This book describes different type theories (theories of types, polymorphic and monomorphic sets, and subsets) from a computing science perspective.
-
You and Your Research cs.virginia.edu
Why do so few scientists make significant contributions and so many are forgotten in the long run? The talk is about what Hamming has learned.
-
Software Foundations softwarefoundations.cis.upenn.edu
Series of Coq-based textbooks on logic, functional programming, and foundations of programming languages, aimed at being accessible to beginners.
-
Formal Reasoning About Programs adam.chlipala.net
Book that simultaneously provides a general introduction to formal logical reasoning about the correctness of programs and to using Coq for this purpose.
-
Haskell MOOC haskell.mooc.fi
An online course on functional programming with Haskell programming language, and a live interactive Telegram community.
-
Zhou. A Theorist's Toolkit. Illinois yuanz.web.illinois.edu
It covers a large number of the math/CS topics that you need to know for reading and doing research in Computer Science Theory.
-
Donald Knuth 1 youtube.com
| Donald Knuth 2 | Silvio Micali | Richard Karp | Scott Aaronson 1 | Scott Aaronson 2
-
TCS+ youtube.com
A series of online seminars in theoretical computer science. The goal is to make engaging talks accessible to the widest possible audience.
-
Parametarized Algorithms by Warsaw youtube.com
-
ACM ByteCast youtube.com
Researchers, practitioners and innovators who are at the intersection of research and practice, sharing their experiences, lessons, visions for the future.
-
Turing Laureates Lectures youtube.com
and Turing Laureates Interviews - ACM Turing Award Laureates delivers a lecture before a forum of their choice on a subject of their choice.
-
O'Donnell. Graduate Complexity Theory youtube.com
It covers most of what is believed to be known to get started in complexity theory research.
-
O'Donnell. Great Ideas in Theoretical Computer Science. CMU youtube.com
A series of lectures on selected notable topics in theoretical computer science.
-
O'Donnell. CS Theory Toolkit youtube.com
It covers a large number of the math/CS topics that you need to know for reading and doing research in Computer Science Theory - alternatively: bilibili
-
O'Donnell. Undergrad Complexity Theory. Fall 2019 (15-455) youtube.com
(Homework) - Undergraduate course on computational complexity theory; It follows the same spirit of Sipser's part III.
-
-
Uni Paderborn. Quantum Complexity Theory. Winter 2020 youtube.com
CS Masters level lectures on topics including Boson sampling, quantum interactive proofs, and quantum merlin arthur.
-
-
Anil Ada. Great Ideas in Theoretical Computer Science. CMU youtube.com
A series of lectures on selected notable topics in theoretical computer science.
-
-
Luke Postle. Probablistic Methods. Waterloo youtube.com
-
Graph Theory by Waterloo youtube.com
-
-
CMU Theory youtube.com
Aims for a mathematical understanding of fundamental issues in Computer Science, and to use this understanding to produce better algorithms, protocols, and systems, as well as identify the inherent limitations of efficient computation.
-
Karp. A Personal View of Computer Science at Berkeley www2.eecs.berkeley.edu
Karp addresses: In 1968 computer science at Berkeley was problematic, with two departments working independently to develop programs, and his personal reflections.
-
Goldreich. Providing Sound Foundations for Cryptography: On the Work of Shafi Goldwasser and Silvio Micali wisdom.weizmann.ac.il
It explains the remarkable work of Shafi and Silvio and their works' implications on foundations of cryptography.
-
Goldreich. Randomized Methods in Computation wisdom.weizmann.ac.il
The aim of the current course is to make the students familiar with some of randomized methods.
-
Goldreich. Essays and Opinions wisdom.weizmann.ac.il
Personal Essays by Oded Goldreich. They are very unique in their conceptual message of TCS and its community.
-
Goldreich. Computational Complexity: A Conceptual Perspective wisdom.weizmann.ac.il
A grad introduction to computation complexity theory, emphasizing the idea behind concepts of complexity theory.
-
Goldreich. Modern Cryptography, Probabilistic Proofs and Pseudorandomness wisdom.weizmann.ac.il
An introduction to the interwoven domains of cryptography, proofs and randomness.
- next page of items loading…
