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.

#

1

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
haskell
1
symbolic-execution
1

#

2

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

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

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
5

#

5

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

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

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
ssl
4
crypto
4

#

8

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
9
runtime
2

#

9

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
9
database
7

#

10

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

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
javascript
9
alt-js
9

#

12

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

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

#

14

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
graph-layout
2
graph
2

#

15

Software Engineer
/
United States
Rock Star
10 years of coding experience
TOP CONTRIBUTIONS TO PROJECTS
elm/compiler
Compiler: 1851 commits in 7 years 4 months
elm/elm-lang.org
Elm-lang.org: 494 commits in 8 years 4 months
elm/core
Core: 450 commits in 4 years 10 months
Top skills
Score
elm
10
compiler
7
reliable
2

#

16

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
3

#

17

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
4

#

18

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

#

19

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

#

20

Senior Principal Applied Scientist at AWS, and Chief Architect at Lean FRO (non-profit)
/
United States
Rock Star
23 years of coding experience
TOP CONTRIBUTIONS TO PROJECTS
leanprover/lean4
Lean4: 12970 commits in 4 years 9 months
leanprover/lean3
Lean3: 10071 commits in 6 years 4 months
Z3Prover/z3
Z3: 763 commits in 2 years 6 months
Top skills
Score
lean
10
theorem
3
compiler
2

Discover experts in any software technology

Prog.AI helps you find the best candidates to hire.
Start Free Trial
Sign up to Prog.AI for free to find software engineers along with their contact info
Get started for free
If you do not want to be featured on our website, please ask to be removed here