CMU 15-213: Intro to Computer Systems fall 2015
Mathematics for Computer Science
304 - Foundations of Computer Science 2020
Algorithms Part 2
CS164 Programming Languages and Compilers 2011
Stocks and Bonds 2014
CS276 Information Retrieval and Web Search
Algorithms Part 1
The Internals of PostgreSQL
COMP9315 Postgres Implementation 2019
Systems Programming in C++ 2020
Model Checking 2018
Software Modeling and Analysis 2020
Information Theory HK
Compiler Construction 2020
Compiler intermediate representations 2020
CS410 Advanced Functional Programming 2017 University of Strathclyde
CS412 Introduction to Data Mining 2016
System Software 2020
Stanford Natural Language Processing 2012
