Born: 1986, Rostov-na-Donu, Russia. Education: Master of Science in Applied Mathematics and Computer Science — 2009. Alma mater: Southern Federal University, Faculty of Mathematics, Mechanics and Computer Sciences (MMCS, Мехмат). Current Activities: PhD student at Programming Research Laboratory, Northeastern University. e-mail: a.pelenitsyn@gmail.com |
I am interested in typed functional programming and corresponding languages (mostly, Haskell), type and effect systems, mathematics of program construction. In the past I worked towards better software engineering principles of building computer algebra software in C++, especially using what C++ world knows as generic programming. After that, I was working on a principled approach to the subtyping relation in the Julia programming language (cf. our OOPSLA’18 publication on that). Right now, I’m studing Julia’s notion of type stability and its propagation through the package ecosystem.
Here are some links to find out more about my professional interests:
The links on non-academic works of mine I’m particularly happy about:
My main publications so far
Functional Parser of Markdown Language Based on Monad Combining and Monoidal Source Stream Representation (with G.Lukyanov), TMPA-2017, doi: 10.1007/978-3-319-71734-0_8
Associated Types and Constraint Propagation for Generic Programming in Scala, Programmirovanie, 2015, doi: 10.1134/S0361768815040064
Generic Programming Approach in the Implementation of Error-Correcting Codes From Algebraic Geometry, Prikladnaya Informatika, 2012 (published in Russian)