Top Software Engineers in

Functional Programming and Formal Verification Technologies

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

Nikolaj Bjorner
Partner Researcher at Microsoft USA
/
United States
Rock Star
22 years of coding experience
TOP CONTRIBUTIONS TO PROJECTS
Z3Prover/z3
Z3: 10691 commits in 10 years 5 months
microsoft/z3guide
Z3guide: 895 commits in 7 months
Z3Prover/z3test
Z3test: 524 commits in 10 years 2 months
Top skills
Score
theorem
10
compiled
1
llvm-ir
1

#

2

Eelco Dolstra
Principal Software Engineer at Determinate Systems
/
Netherlands
Rock Star
27 years of coding experience
TOP CONTRIBUTIONS TO PROJECTS
NixOS/nixpkgs
Nixpkgs: 11022 commits in 19 years 11 months
NixOS/nix
Nix: 9299 commits in 20 years 1 months
rbvermaa/nixpkgs-svn
Nixpkgs-svn: 4998 commits in 9 years 2 months
Top skills
Score
nix
10
nixpkgs
9
linux
9

#

3

Kate Deplaix
Employed at ocamllabs ocaml-sf
/
United Kingdom
Rock Star
13 years of coding experience
TOP CONTRIBUTIONS TO PROJECTS
ocaml/opam-repository
Opam-repository: 9949 commits in 10 years 3 months
kit-ty-kate/labrys
Labrys: 987 commits in 9 years 3 months
ocurrent/opam-health-check
Opam-health-check: 771 commits in 4 years 11 months
Top skills
Score
ocaml
10
opam
10
package-manager
3

#

4

Anil Madhavapeddy
Professor of Planetary Computing at University Of Cambridge
/
United Kingdom
Rock Star
14 years of coding experience
TOP CONTRIBUTIONS TO PROJECTS
ocaml/opam-repository
Opam-repository: 7755 commits in 10 years 6 months
mirage/mirage
Mirage: 2571 commits in 9 years 2 months
avsm/platform
Platform: 1697 commits in 1 year 5 months
Top skills
Score
ocaml
10
opam
9
homebrew
6

#

5

Xavier Leroy
Professor at Collège de France
/
France
Rock Star
35 years of coding experience
TOP CONTRIBUTIONS TO PROJECTS
ocaml/ocaml
Ocaml: 4879 commits in 28 years 1 months
AbsInt/CompCert
CompCert: 847 commits in 8 years 5 months
melange-re/melange-compiler-libs
Melange-compiler-libs: 577 commits in 26 years 4 months
Top skills
Score
compiler
10
ocaml
10
compilers
2

#

6

Damien Doligez
Chargé de recherche at Inria
/
France
Rock Star
29 years of coding experience
TOP CONTRIBUTIONS TO PROJECTS
ocaml/ocaml
Ocaml: 3267 commits in 26 years 5 months
ocaml/opam-repository
Opam-repository: 388 commits in 7 years 7 months
damiendoligez/ocaml
Ocaml: 209 commits in 7 years 6 months
Top skills
Score
ocaml
10
compiler
10
runtime
2

#

7

Gabriel Scherer
/
Brazil
Rock Star
16 years of coding experience
TOP CONTRIBUTIONS TO PROJECTS
ocaml/ocaml
Ocaml: 3044 commits in 10 years 9 months
melange-re/melange-compiler-libs
Melange-compiler-libs: 1162 commits in 9 years 4 months
ocaml-batteries-team/batteries-included
Batteries-included: 574 commits in 14 years 3 months
Top skills
Score
ocaml
10
compiler
10
runtime
2

#

8

Thomas Gazagnaire
Building Functional Systems at Parsimoni Creators Of Spaceos
/
France
Rock Star
20 years of coding experience
TOP CONTRIBUTIONS TO PROJECTS
ocaml/opam-repository
Opam-repository: 4232 commits in 10 years 7 months
mirage/irmin
Irmin: 2868 commits in 9 years 10 months
ocaml/opam
Opam: 2259 commits in 4 years 1 months
Top skills
Score
ocaml
10
git
7
opam
6

#

9

Christoph Wintersteiger
Senior Computer Scientist at Imandra
/
United Kingdom
Rock Star
18 years of coding experience
TOP CONTRIBUTIONS TO PROJECTS
Z3Prover/z3
Z3: 2068 commits in 9 years 9 months
hacl-star/hacl-star
Hacl-star: 356 commits in 3 years 5 months
Z3Prover/z3test
Z3test: 334 commits in 9 years 5 months
Top skills
Score
theorem
10
crypto
5
ssl
4

#

10

Marcello Seri
Employed at Rijksuniversiteit Groningen
/
Netherlands
Rock Star
11 years of coding experience
TOP CONTRIBUTIONS TO PROJECTS
ocaml/opam-repository
Opam-repository: 3454 commits in 5 years 9 months
mseri/AoM
AoM: 354 commits in 2 years 6 months
mirage/ocaml-cohttp
Ocaml-cohttp: 344 commits in 4 years 5 months
Top skills
Score
ocaml
10
opam
9
package-manager
2

#

11

Robert Helgesson
Contract Software Engineer at Chaitsa
/
Sweden
Rock Star
17 years of coding experience
TOP CONTRIBUTIONS TO PROJECTS
nix-community/home-manager
Home-manager: 1506 commits in 6 years 1 months
NixOS/nixpkgs
Nixpkgs: 1128 commits in 8 years 5 months
sinch/sinch-java-sms
Sinch-java-sms: 283 commits in 1 months
Top skills
Score
nix
10
nixpkgs
10
nixos
10

#

12

Alain Frisch
Chief Technical Officer at LexiFi
/
France
Rock Star
26 years of coding experience
TOP CONTRIBUTIONS TO PROJECTS
ocaml/ocaml
Ocaml: 1879 commits in 16 years 7 months
melange-re/melange-compiler-libs
Melange-compiler-libs: 1223 commits in 13 years 8 months
dsheets/ocaml
Ocaml: 750 commits in 2 years 1 months
Top skills
Score
ocaml
10
compiler
10
compilers
2

#

13

David Allsopp
Employed at METASTACK SOLUTIONS LTD.
/
United Kingdom
Rock Star
11 years of coding experience
TOP CONTRIBUTIONS TO PROJECTS
dra27/opam
Opam: 1699 commits in 8 years 4 months
ocaml/ocaml
Ocaml: 1660 commits in 7 years 7 months
ocaml/opam
Opam: 862 commits in 7 years 8 months
Top skills
Score
ocaml
10
compiler
9
opam
2

#

14

Jeremy Yallop
Associate Professor at University of Cambridge
/
United Kingdom
Rock Star
23 years of coding experience
TOP CONTRIBUTIONS TO PROJECTS
ocaml/opam-repository
Opam-repository: 2191 commits in 9 years 5 months
yallop/ocaml-ctypes
Ocaml-ctypes: 1528 commits in 9 years 10 months
links-lang/links
Links: 689 commits in 8 years 7 months
Top skills
Score
ocaml
10
opam
6
compiler
5

#

15

Lev Nachmanson
Principal Research Software Development Engineer at Microsoft Corp.
/
United States
Rock Star
TOP CONTRIBUTIONS TO PROJECTS
NikolajBjorner/z3
Z3: 1898 commits in 2 years 7 months
Z3Prover/z3
Z3: 1203 commits in 4 years 7 months
microsoft/msagljs
Msagljs: 768 commits in 10 months
Top skills
Score
theorem
10
aspose
1
linq
1

#

16

Florian Angeletti
OCaml Engineer at Inria
/
France
Rock Star
11 years of coding experience
TOP CONTRIBUTIONS TO PROJECTS
ocaml/ocaml
Ocaml: 1328 commits in 7 years 3 months
Octachron/ocaml
Ocaml: 1164 commits in 8 years 8 months
Octachron/codept
Codept: 914 commits in 6 years 3 months
Top skills
Score
ocaml
10
compiler
10
compilers
2

#

17

Sébastien Hinderer
Ingénieur logiciel senior, vice-président plaidoyer et président délégation régionale Île-de-france apiDV at Tarides
/
France
Rock Star
10 years of coding experience
TOP CONTRIBUTIONS TO PROJECTS
ocaml/ocaml
Ocaml: 1169 commits in 6 years 9 months
coccinelle/coccinelle
Coccinelle: 311 commits in 1 year 5 months
damiendoligez/ocaml
Ocaml: 303 commits in 10 months
Top skills
Score
ocaml
10
compiler
10
runtime
2

#

18

Tom Kelly
Employed at Lux Lumina
/
Denmark
Rock Star
TOP CONTRIBUTIONS TO PROJECTS
ocaml/ocaml
Ocaml: 975 commits in 3 years
kayceesrk/ocaml-multicore
Ocaml-multicore: 510 commits in 1 year 1 months
ocaml-multicore/ocaml-multicore
Ocaml-multicore: 493 commits in 1 year 11 months
Top skills
Score
ocaml
10
compiler
10
runtime
2

#

19

Hannes Mehnert
Employed at roburio
/
Denmark
Rock Star
20 years of coding experience
TOP CONTRIBUTIONS TO PROJECTS
dylan-hackers/historic-dylan-svn
Historic-dylan-svn: 2053 commits in 6 years 10 months
mirleft/ocaml-tls
Ocaml-tls: 1389 commits in 8 years 11 months
ocaml/opam-repository
Opam-repository: 1351 commits in 8 years 6 months
Top skills
Score
ocaml
10
opam
7
linux
4

#

20

Phil Freeman
Software Developer at Hasura
/
United States
Rock Star
18 years of coding experience
TOP CONTRIBUTIONS TO PROJECTS
purescript/purescript
Purescript: 2088 commits in 4 years 2 months
purescript/pursuit-backups
Pursuit-backups: 240 commits in 4 years 10 months
purescript/documentation
Documentation: 226 commits in 3 years 7 months
Top skills
Score
purescript
10
haskell
10
javascript
9

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)
compiler
(Coming soon)
ocaml
(Coming soon)
programming-language
(Coming soon)
functional-programming
(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