Artem M. Pelenitsyn, born 1986, MSc in applied mathematics and computer science from the Department of Mathematics, Mechanics and Computer Sciences, Southern Federal University, Rostov-on-Don, Russia. Interested in functional programming and type theory, doing research in programming languages.