Semester A
Topics on the Border of Computation and Economics
Introduction to Numerical Computing
Formal Verification of Reactive Systems
Game Theory 1
Semester B
TBD
Shir's Notes
Alon's Notes
Sasha's Notes
Archive