Teaching activities of Jan Malakhovski
tl;dr / contact
about / CV
software
Ph.D. thesis
papers
notes
teaching
Seminars
Type Theory for Vegetables
Metamathematics
Courses at NRU ITMO
Operating Systems
Functional Programming and Proof Checking