Teaching activities of Jan Malakhovski

At ITMO University

Courses

• Operating Systems, taught from 2011-09-01 to 2015-05-31 (and assisted in teaching from 2008-09-01 to 2011-05-31)
• Functional Programming and Proof Checking, taught from 2011-09-01 to 2015-05-31

Seminars

• Type Theory for Vegetables, lead from 2012-04-12 to 2013-05-31
• Metamathematics, lead from 2012-09-14 to 2012-12-31

At Yandex

Talks

• (in Russian) Jan Malakhovski. Introduction to Agda (Ян Малаховски. Введение в Agda), which was one of the talks at a mini-conference organized on 2012-07-12 by the editors of (in Russian) The Journal of «The Practice of Functional Programming» (Журнал «Практика функционального программирования») with much support from people at Yandex LLC (which, btw, was since nationalized).

  The discussion after that talk spurned the (eventual) publishing of my Brutal Introduction to Dependent Types in Agda here.