Disclaimer: Some notes may be incomplete, erroneous, or unorganized.

2 = constant updates. 1 = occasional update. 0 = seldom update.

Computer Science:

• Combinatorial Optimization (0): notes (html)
  
• Formal Reasoning about Programs (0): Semantics, Games, Automata notes (html); Linear-time Temporal Logic notes (html); Coq notes (html)
• Algorithms (2): To be organized.
  
• System Programming (0): notes (html)

Math:

• Set Theory (0): notes (html)
  
  
• Introductory Topology (0): notes (html)
• Probability Theory and Statistics (0): notes (html), stat cheat sheet (pdf)
• Numerical Analysis (0): notes (html)
• Combinatorial Analysis (2): notes (html)