Eugene Kirpichov

From June 2, 2010 I'm a senior .NET software engineer at Grid Dynamics, working on a high-performance computing project for a major hardware vendor.

From Feb.15, 2010 to May 15, 2010 I've been a senior developer at JetBrains but I decided to leave.

From Feb.2007 till Feb.2010 I've been a software developer at Yandex, doing web information retrieval (in Java mostly).

I've taught a course in functional programming somewhat based on SICP: SICP_Course and now am an advisor for 2 students.

I've graduated with honors from the St.-Petersburg State Polytechnical University in June 2009.

My scientific interests: functional programming languages and nearby theory (i.e. category theory), array programming languages like APL,J,K; mathematical statistics and information retrieval.

My hobbies: Listening and playing classical music, sports like swimming and winter hiking.

I can program in: Java, Haskell, Erlang, Mathematica, R, C++, bash.

I am familiar with theoretical areas of computer science and mathematics: programming language theory, type theory, some category theory, some mathematical statistics.

Email: <ekirpichov AT SPAMFREE gmail DOT com>

My open source work:

• ire - incremental regular expressions (work in progress)

• logophagus - a log viewer designed specifically for interactive processing of real-world logs of unlimited size (this is a project implemented mostly by a student of mine, under my supervision. The project is already usable, though it needs polishing, a bunch of small features and a couple of big ones)

• valz - a framework for extremely scalable distributed on-line data aggregation and application monitoring, based on a novel approach (this is a project implemented mostly by another student of mine, under my supervision. The project is less mature than logophagus, though it is close to being usable, too)

• antro - a line-level and hierarchical profiler for Ant build scripts, with a GUI inspired by jrat

• jarfind - a small and extremely fast command-line tool for searching for Java classes, methods and fields in JAR files; written in Haskell

• timeplot - a tool for visualizing time series from log files that I personally find very useful; written in Haskell

• digest - a tiny Haskell binding to crc32 and adler32 which I wrote to speed up Haskell binding to zlib, which turned out to be the bottleneck in jarfind

• strptime - a Haskell binding to strptime

• LoessInterpolator from jakarta commons-math was written by me

• fuoco13 at narod point ru(insert punctuation; unfortunately, narod links are not allowed on this wiki) - (with Eugene Tyan) plenty of rare classical guitar sheet music and MP3s. Not updated for a very long time, although.

My articles and presentations:

• Functional data structures - presentation given 13.10.2007 at the 1st SPbHUG meeting, based on Okasaki's book and paper on The Zipper functional pearl. Russian language only.

• Functional data structures (contd.) - presentation given 17.11.2007 at the 2nd SPbHUG meeting, again based on Okasaki. Russian language only.

• Erlang - presentation given 16.02.2008 at the 4th SPbHUG meeting, based on J.Armstrong's book. Russian language only.

• Coq - presentation given 24.10.2008 at the 6th SPbHUG meeting, based on the Coq'Art book. Russian and English slides + sources.

• Monad tutorial (in Russian) and Monad tutorial (in English) - my advanced monad tutorial, featuring examples from standard monads to probability and parser monads and a hint of monad transformers. The article has been published on RSDN (in Russian).

• Java - Readability and some FP, Same thing in Russian and Slides in Russian (PPT),Slides in English (PPT) - an article on increasing Java code readability and utilizing principles of functional programming applicable to Java. The slides are better, they also contain 2 examples of functional API design. The article has been published on RSDN (in Russian).

• Concurrent programing and Java A large presentation (in Russian) about concurrent programming in general and Java in particular, given to my colleagues at Yandex on 26.05.09. Concentrated on breadth rather than depth of scope; a bit about concurrency-related OO patterns, a bit about LTL and some verification tools, a bit about vector algorithms etc. TeX source (without images)

• A larger and better version of the same presentation Concurrent programming and Java, performed on 04.17.2010 at the Java User Group meeting in Moscow.

• I'm among the authors and reviewers of the Practice of Functional Programming journal, with an article Fighting Mutable State in the 1st issue and a large theoretical article Elements of Functional Languages in the 3rd issue.

My CV: on moikrug.ru (in Russian) and on linkedin.com (in English)