Top Software Engineers in

Functional Programming and Formal Verification Technologies

#
haskell
#
ocaml
#
programming-language
#
functional-programming
#
compiler

Functional Programming and Formal Verification Technologies encompass programming paradigms that prioritize pure functions and immutability, along with approaches to ensure software correctness. Technologies in this field utilize languages like Haskell, OCaml, and PureScript, and include verification tools and theorem provers to validate the integrity and reliability of code through mathematical proofs.

Ranks are based on the open source contributions and reassessed every 30 days

#

1

Eelco Dolstra
Principal Software Engineer at Determinate Systems
/
Netherlands
Rock Star
24 years of coding experience
TOP CONTRIBUTIONS TO PROJECTS
NixOS/nix
819 reviews, 9299 commits, 2466 PRs in 20 years 1 month
NixOS/nixpkgs
39 reviews, 11022 commits, 475 PRs in 19 years 11 months
rbvermaa/nixpkgs-svn
4998 commits in 9 years 2 months
Top skills
Score
selinux
10
google-cloud
10
purely-functional
10

#

2

Nikolaj Bjorner
Partner Researcher at Microsoft USA
/
United States
Rock Star
12 years of coding experience
TOP CONTRIBUTIONS TO PROJECTS
Z3Prover/z3
953 releases, 332 reviews, 10691 commits in 10 years 5 months
Z3Prover/z3prover.github.io
76 commits, 1 PR, 79 pushes in 5 years 7 months
microsoft/z3guide
16 reviews, 895 commits, 32 PRs in 7 months
Top skills
Score
benchmarking
10
graph
10
checker
10

#

3

Kate Deplaix
Engineering Manager at ahrefs ocaml-sf
/
United Kingdom
Rock Star
13 years of coding experience
TOP CONTRIBUTIONS TO PROJECTS
ocaml/opam-repository
1218 reviews, 9949 commits, 7543 PRs in 10 years 3 months
ocurrent/opam-health-check
16 reviews, 771 commits, 69 PRs in 4 years 11 months
kit-ty-kate/opam
1 release, 393 commits, 3 PRs in 8 years 10 months
Top skills
Score
vim
10
reason-react
10
gleam
10

#

4

Anil Madhavapeddy
Professor of Planetary Computing at Openbsd Project
/
United Kingdom
Rock Star
21 years of coding experience
TOP CONTRIBUTIONS TO PROJECTS
ocamllabs/icfp2016-blog
525 commits, 3 PRs, 90 pushes in 1 month
mirage/mirage
2 releases, 1 review, 2571 commits in 9 years 2 months
avsm/platform
1697 commits, 4 PRs, 142 pushes in 1 year 5 months
Top skills
Score
ponylang
10
pcap
10
shared-memory
10

#

5

Xavier Leroy
Professor at Collège de France
/
France
Rock Star
30 years of coding experience
TOP CONTRIBUTIONS TO PROJECTS
ocaml/ocaml
14 releases, 924 reviews, 4879 commits in 28 years 1 month
melange-re/melange-compiler-libs
577 commits in 26 years 4 months
AbsInt/CompCert
22 releases, 13 reviews, 847 commits in 8 years 5 months
Top skills
Score
filemaker
10
prng
10
keccak
10

#

6

Damien Doligez
Chargé de recherche at Inria
/
France
Rock Star
29 years of coding experience
TOP CONTRIBUTIONS TO PROJECTS
ocaml/ocaml
2 releases, 296 reviews, 3267 commits in 26 years 5 months
damiendoligez/ocaml
2 reviews, 209 commits, 5 PRs in 7 years 6 months
melange-re/melange-compiler-libs
87 commits in 5 years 10 months
Top skills
Score
apl
10
ocaml
10
dune
10

#

7

Gabriel Scherer
/
Brazil
Rock Star
16 years of coding experience
TOP CONTRIBUTIONS TO PROJECTS
ocaml-batteries-team/batteries-included
18 releases, 31 reviews, 574 commits in 14 years 3 months
ocaml/ocaml
2364 reviews, 3044 commits, 1876 PRs in 10 years 9 months
melange-re/melange-compiler-libs
1162 commits in 9 years 4 months
Top skills
Score
resolution
10
code-golf
10
declarations
10

#

8

Thomas Gazagnaire
Building Functional Systems at Tarides
/
France
Rock Star
15 years of coding experience
TOP CONTRIBUTIONS TO PROJECTS
mirage/irmin
35 releases, 362 reviews, 2868 commits in 9 years 10 months
ocaml/opam
3 reviews, 2259 commits, 4 PRs in 4 years 1 month
mirage/ocaml-git
41 releases, 1073 commits, 318 PRs in 9 years 11 months
Top skills
Score
sha256
10
filesystem
10
ethernet
10

#

9

Robert Helgesson
Contract Software Engineer at Chaitsa
/
Sweden
Rock Star
13 years of coding experience
TOP CONTRIBUTIONS TO PROJECTS
nix-community/home-manager
1051 reviews, 1506 commits, 2325 PRs in 6 years 1 month
NixOS/nixpkgs
59 reviews, 1128 commits, 886 PRs in 8 years 5 months
rycee/nixpkgs
1 PR, 3253 pushes, 897 branches in 9 years 6 months
Top skills
Score
darwin
10
dotfiles
10
browser
10

#

10

Marcello Seri
Employed at Rijksuniversiteit Groningen
/
Netherlands
Rock Star
11 years of coding experience
TOP CONTRIBUTIONS TO PROJECTS
ocaml/opam-repository
1902 reviews, 3454 commits, 4339 PRs in 5 years 9 months
mirage/ocaml-cohttp
29 releases, 276 reviews, 344 commits in 4 years 5 months
mirage/ocaml-rpc
17 releases, 11 reviews, 241 commits in 5 years
Top skills
Score
smartphone
10
eigenvalues
10
abaqus
10

#

11

Alain Frisch
Chief Technical Officer at LexiFi
/
France
Rock Star
21 years of coding experience
TOP CONTRIBUTIONS TO PROJECTS
melange-re/melange-compiler-libs
1223 commits in 13 years 8 months
ocaml/ocaml
70 reviews, 1879 commits, 350 PRs in 16 years 7 months
dsheets/ocaml
750 commits in 2 years 1 month
Top skills
Score
fibers
10
idris
10
gleam
10

#

12

David Allsopp
Senior Quality Engineer at Rapita Systems
/
United Kingdom
Rock Star
12 years of coding experience
TOP CONTRIBUTIONS TO PROJECTS
dra27/opam
1699 commits, 41 PRs, 1610 pushes in 8 years 4 months
dra27/opam-repository
1 review, 283 commits, 18 PRs in 7 years 2 months
ocaml/ocaml
772 reviews, 1660 commits, 971 PRs in 7 years 7 months
Top skills
Score
html5
10
gleam
10
fibers
10

#

13

Jeremy Yallop
Associate Professor at University of Cambridge
/
United Kingdom
Rock Star
18 years of coding experience
TOP CONTRIBUTIONS TO PROJECTS
links-lang/links
689 commits, 13 comments, 2 issues in 8 years 7 months
metaocaml/metaocaml-bibliography
143 commits, 146 PRs, 90 pushes in 6 years 11 months
yallop/effects-bibliography
3 reviews, 115 commits, 164 PRs in 6 years 9 months
Top skills
Score
ponylang
10
links
10
js
10

#

14

Christoph Wintersteiger
Senior Computer Scientist at Imandra
/
United Kingdom
Rock Star
12 years of coding experience
TOP CONTRIBUTIONS TO PROJECTS
Z3Prover/z3
8 releases, 3 reviews, 2068 commits in 9 years 9 months
Z3Prover/z3test
334 commits, 8 PRs, 172 pushes in 9 years 5 months
Z3Prover/z3prover.github.io
15 commits, 12 pushes, 1 branch in 2 years 8 months
Top skills
Score
benchmarking
10
raspberrypi
10
fstar
10

#

15

Florian Angeletti
OCaml Engineer at Inria
/
France
Rock Star
10 years of coding experience
TOP CONTRIBUTIONS TO PROJECTS
Octachron/ocaml
7 reviews, 1164 commits, 8 PRs in 8 years 8 months
ocaml/ocaml
19 releases, 1097 reviews, 1328 commits in 7 years 3 months
Octachron/codept
6 releases, 7 reviews, 914 commits in 6 years 3 months
Top skills
Score
reason
10
jbuilder
10
opam
10

#

16

Sébastien Poullot
Lead Data Scientist at Median Technologies
/
France
Rock Star
19 years of coding experience
TOP CONTRIBUTIONS TO PROJECTS
ocaml/ocaml
101 reviews, 1169 commits, 423 PRs in 6 years 9 months
shindere/ocaml
13 PRs, 1403 pushes, 569 branches in 8 years 2 months
ming1/linux
170 commits in 1 year 3 months
Top skills
Score
apl
10
termux
10
braille
10

#

17

Theophane Hufschmitt
Software Engineer at Tweag I/O
/
France
Rock Star
TOP CONTRIBUTIONS TO PROJECTS
NixOS/nix
1074 reviews, 670 commits, 683 PRs in 5 years 9 months
thufschmitt/tix-papers
381 commits, 37 pushes, 12 branches in 4 months
NixOS/nixpkgs
12 reviews, 64 commits, 41 PRs in 6 years 2 months
Top skills
Score
nix
10
cookbook
10
wayland
10

#

18

Tom Kelly
/
Denmark
Rock Star
TOP CONTRIBUTIONS TO PROJECTS
ocaml/ocaml
125 reviews, 975 commits, 10 PRs in 3 years
ocaml-multicore/ocaml-multicore
150 reviews, 493 commits, 203 PRs in 1 year 11 months
kayceesrk/ocaml-multicore
510 commits in 1 year 1 month
Top skills
Score
benchmarking
10
c-language
10
ppx
10

#

19

Hannes Mehnert
Employed at robur-coop
/
Denmark
Rock Star
20 years of coding experience
TOP CONTRIBUTIONS TO PROJECTS
mirleft/ocaml-tls
52 releases, 23 reviews, 1389 commits in 8 years 11 months
dylan-hackers/historic-dylan-svn
2053 commits in 6 years 10 months
hannesm/jackline
4 reviews, 1081 commits, 93 PRs in 7 years 7 months
Top skills
Score
command-line-tools
10
gsl
10
lz77
10

#

20

John Ericson
Software Engineer at Obsidian Systems LLC
/
United States
Rock Star
13 years of coding experience
TOP CONTRIBUTIONS TO PROJECTS
NixOS/nixpkgs
793 reviews, 2371 commits, 1686 PRs in 8 years 7 months
reflex-frp/reflex-platform
8 releases, 15 reviews, 833 commits in 7 years 1 month
obsidiansystems/nixpkgs
525 commits, 9 PRs, 1849 pushes in 6 years 1 month
Top skills
Score
ios
10
hash
10
compiler
10

Discover experts in any software technology

Prog.AI helps you find the best candidates to hire.
Start Free Trial
*Ranks are based on the open source contributions and reassessed every 30 days
Sign up to Prog.AI for free to find software engineers along with their contact info
Get started for free

Discover experts with related skills

haskell
(Coming soon)
ocaml
(Coming soon)
programming-language
(Coming soon)
functional-programming
(Coming soon)
compiler
(Coming soon)

Why Prog.AI is the best platform to source software engineers?

prog

Search across 60 million profiles by skills, location, seniority level, current and past employment

prog

Prog.AI finds the best matches by analyzing programming source code of all potential candidates

prog

Reach out to candidates: download a CSV file with full profiles and contacts or use our integrations

Get started for free
If you do not want to be featured on our website, please ask to be removed here
prog
prog

1 Ferry Building Suite 201,
San Francisco, CA 94111,
United States

progprog
Do Not Sell My InfoTerms of UsePrivacy Data SubjectsPrivacy Policy