hse-acos-course

Materials for the "Computer Architecture and Operating Systems" course taught at Faculty of Computer Science of Higher School of Economics

qa-testing-course

Materials for the "Quality Assurance and Software Testing" course taught at Faculty of Computer Science of Higher School of Economics

static-analysis-course

Materials for the "Principles of Static Program Analysis" course