Andrey Mokhov

Registered user since Fri 21 Sep 2018

Name: Andrey Mokhov

Bio: I am a software engineer at Jane Street London, and a visiting fellow at Newcastle University, UK. My research interests are in applying abstract mathematics and functional programming to solving large-scale engineering problems.

During my PhD study (2005-2009) I worked on asynchronous circuits and concurrency, and developed Conditional Partial Order Graphs to model the behaviour of concurrent systems by decomposing them into simple, well-understood parts. In 2014 I became interested in functional programming and translated some of my earlier research to the world of functional programming, publishing open-source libraries for algebraic graphs and selective functors. I have also done some work on the topic of software build systems – this topic has been gradually changing from “terrifying” to “fascinating” to me, and I’m yet to see where this journey goes. In 2019 I switched from academia to industry and joined Jane Street to work on the most popular OCaml build system Dune.

I am originally from Kyrgyzstan, where I received a Software Engineering degree (2000-2005) from Kyrgyz-Russian Slavic University. I was a 5-time champion of Kyrgyzstan in algorithmic competitions and currently help to run the ACM ICPC Regional Contest in Kyrgyzstan.

Country: United Kingdom

Affiliation: Jane Street

Personal website:


HIW 2020 Committee Member in Program Committee within the HIW 2020-track
Haskell 2020 Committee Member in Program Committee within the Haskell 2020-track
Session Chair of Paper Session 3 - Datastructures (part of Haskell 2020)
BAPL 2020 Committee Member in Organizing Committee within the BAPL 2020 (Cancelled)-track
Chair in Program Committee within the BAPL 2020 (Cancelled)-track
ICFP 2020 Committee Member in External Review Committee within the ICFP Program-track
PLMW @ ICFP 2019 Author of Panel Discussion: Research in Functional Programming within the PLMW @ ICFP 2019-track
Committee Member in Speakers within the PLMW @ ICFP 2019-track
Haskell 2019 Author of Formal Verification of Spacecraft Control Programs: An Experience Report within the Haskell 2019-track
CoqPL 2019 Author of Towards a Coq Formalisation of Build Systems within the CoqPL-track
ICFP 2019 Author of Selective Applicative Functors within the Research Papers-track
ICFP 2018 Author of Build Systems à la Carte within the Research Papers-track
HIW 2017 Author of Getting Ready for Hadrian within the HIW 2017-track
Haskell 2017 Author of Algebraic Graphs with Class (Functional Pearl) within the Haskell 2017-track
Haskell 2016 Author of Non-recursive Make Considered Harmful: Build Systems at Scale within the Haskell-track
Author of Desugaring Haskell's do-Notation into Applicative Operations within the Haskell-track