Artem Pelenitsyn
Homepage
По-русски
Teaching
Supervising
Tulyakov A.U. Support for
PascalABC.NET
in Eclipse IDE — BSc. in CS
Structuring Effectful Computations — MSc, G. Lukyanov, 2017
Generic Programming and Zippers — A. Bolotina, 2017
Generation of algebraic data types descriptions based on JSON data via Template Haskell — BSc, O. Maroseev, 2016
Generation of type class instances based on instances of superclasses via GHC API — BSc, O. Filippskaya, 2016
Functional parser for Markdown using monad combination and monoidal representation of input — BSc, G. Lukianov, 2015
Deduction system for linear logic in Haskell — BSc, V. Pankov, 2015
Courses given
Lecturing
Computer Architecture, lectures & labs — MMCS/SFedU — 2013–2016 (Spring).
Automata and Ciphers, lectures — 2013–2016 (Fall).
Crossplatform Development, lectures & labs — MMCS/SFedU — Spring 2012/13.
Labs, trainings, teaching assitance
Software Dev
, TA — NEU — Spring 2020.
Compilers
, TA — NEU — Fall 2019.
Operating Systems, labs — MMCS/SFedU — Spring 2012/13.
Functional Programming, labs — MMCS/SFedU — Spring 2010/11.
Programming Basics, labs — MMCS/SFedU — 2008/9, 2010/11.
Programming Languages, labs — MMCS/SFedU — Fall 2008/9, Fall 2010/11.
Automata and Languages, trainings — MMCS/SFedU — Spring 2009/10.
Microprogramming/Assembler Programming, labs — MMCS/SFedU — Fall 2009/10.
Geometry and algebra, trainings — MMCS/SFedU — Fall 2009/10.