Systems & CS

Distributed systems, databases, operating systems, compilers, programming languages, networking, and computer architecture.

9 courses · 209 standalone talks · 504 total lectures

All Systems & CS Algorithms & Data Structures (107)Database Systems (102)Operating Systems (79)Programming Languages (78)Computer Architecture (76)Distributed Systems (75)Systems Security (41)Software Design & HCI (27)Genetics & Molecular Biology (19)Probability & Information Theory (16)

Showing 7 of 7 lectures

Lecturej/k navigate · c chapters · s save · x watched

Scholar · University

Chapters · Duration

Learning Programming Abstractions for Automating Formal Verification

Learning Programming Abstractions for Automating Formal Verification

Systems & CS·Research Seminar · Jocelyn Qiaochu Chen · Alberta Machine Intelligence Institute (Amii)

Jocelyn Qiaochu Chen Alberta Machine Intelligence Institute (Amii)

1:03:23

Trustworthy Human-AI Collaboration in a Live Type-Theoretic Computational Commons

Trustworthy Human-AI Collaboration in a Live Type-Theoretic Computational Commons

Systems & CS·Standalone Lecture · Theoretic Computational Commons · Jane Street

Theoretic Computational Commons Jane Street

1:05:45

Set-Theoretic Types from Scratch

Set-Theoretic Types from Scratch

Systems & CS·Conference Talk · José Valim · Code Sync

José Valim Code Sync

1:02:16

Property Based Testing: The Past, The Present, and The Future

Property Based Testing: The Past, The Present, and The Future

Systems & CS·Conference Talk · Alperen Keleş · Bob Konferenz

Alperen Keleş Bob Konferenz

44:36

Decidability, Type Systems, and the Limits of Open Source Trust

Decidability, Type Systems, and the Limits of Open Source Trust

Systems & CS·Public Colloquium

Premature Abstraction

15:21

Digital Design and Computer Architecture - L5: HDL, Verilog II, Timing & Verification

Digital Design and Computer Architecture - L5: HDL, Verilog II, Timing & Verification

252-0028 · Lec 6 · Onur Mutlu · ETH Zürich

Onur Mutlu ETH Zürich

1:48:14

Digital Design and Computer Architecture - L6: Timing & Verification II (Spring 2025)

Digital Design and Computer Architecture - L6: Timing & Verification II (Spring 2025)

252-0028 · Lec 7 · Onur Mutlu · ETH Zürich

Onur Mutlu ETH Zürich

1:49:42

More categories

Mathematics (518)Physics & Cosmology (366)AI & Machine Learning (283)History & Humanities (371)Philosophy & Ethics (286)Biology & Neuroscience (332)Economics & Finance (323)Algorithms & Theory (370)Engineering & Robotics (333)