Andrey Mokhov

Software Engineer at Jane Street

UK, United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
Andrey Mokhov is a software engineer with 16 years of experience who blends practical engineering with a taste for abstract mathematics, bridging theory and production-grade systems. Based in the UK with US collaborations, he specializes in backend engineering and functional-programming-oriented design. He is an active open-source contributor to the OCaml ecosystem — notably modernizing the Dune build system by refactoring core data types, migrating argument handling, adding foreign-library support, and improving error messages to boost developer UX. Known for making dense compiler and tooling code more composable and maintainable, he brings a mathematician's rigor to pragmatic software delivery.
code17 years of coding experience
github-logo-circle

Github Skills (5)

dependency-management10
build-system10
functional-programming10
ocaml10
error-handling9

Programming languages (16)

JavaCSSCTeXScalaHTMLKotlinDockerfile

Github contributions (5)

github-logo-circle
ocaml/dune

May 2019 - Jan 2023

A composable build system for OCaml.
Role in this project:
userBack-end Developer
Contributions:1834 reviews, 319 commits, 604 PRs in 3 years 8 months
Contributions summary:Andrey's contributions focused on simplifying and refactoring the build system for the OCaml Dune project. They modified the `Arg_spec` to `Command.Arg`, and refactored parts of the `Build.t` data type for functional programming style. They also added support for foreign libraries and made improvements to error messages.
infinibandlwtmulticoreocamldune
snowleopard/united

Dec 2018 - Oct 2022

United Monoids
Contributions:65 commits, 9 PRs, 66 pushes in 3 years 10 months
algebrahaskellmonoids
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.
Request Free Trial
Andrey Mokhov - Software Engineer at Jane Street