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 1 of 1 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

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)