Born: 1986, Rostov-na-Donu, Russia. Education: PhD in Computer Science from Northeastern University (NEU PRL, 2023). Alma mater: Southern Federal University, I.I. Vorovitch Institute of Mathematics, Mechanics and Computer Sciences (MMCS, Мехмат). Current Activities: Post Doc Researcher with Prof. Milind Kulkarni at PurPL, Purdue University. e-mail: a.pelenitsyn@gmail.com |
Schedule a meeting with me (Zoom or Purdue campus) — using Calendly. I’m more likely to be on campus on Mondays, Wednesdays, Thursdays. Otherwise, we can agree on wheather Zoom or in-person makes more sense.
Use my email (above) or any social network to reach out if you think talking to me can be helpful. Especially welcome are students deciding on their possible academic career.
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.
Recently, I was working on a assessment of the design and implementation of Julia programming language (OOPSLA’18, OOPSLA ‘21). Currently, I’m studying Julia’s notion of type stability.
More about my professional interests can be found in my Curriculum Vitæ.
Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation (OOPSLA ‘21)
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)
I’m interested in programming languages and related technologies as they pertain to
software and systems development, e.g. Haskell ecosystem, Nix and NixOS, (Doom) Emacs and
modal editing (in the spirit of vi
), Linux and Open Source Software, verified software
and interactive theorem provers (especially, Coq
and Agda
). Check out: