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