Sean Leather

Pretoria, Gauteng, South Africa

Join Prog.AI to see contacts

Summary

🤩

Rockstar

🎓

Top School

Sean Leather is a software engineer with 18 years of experience specializing in type-safe functional programming, particularly Haskell, and deep expertise in dependently-typed proof assistants such as Agda, Coq, Isabelle/HOL, and Lean. He has bridged academia and industry, applying advanced type systems and program transformation research to production systems at doxIQ and Rheo Systems and contributing to embedded and hardware projects in C, C++ and Verilog. Sean is an active open-source contributor with meaningful backend and database work in projects like TerminusDB and contributions to Lean’s mathlib3, showing a knack for rigorous, correctness-focused engineering. He also brings practical full-stack experience with JavaScript/TypeScript front-ends and MongoDB/Postgres backends. Based in Pretoria, South Africa, he is finishing a PhD at Utrecht University, blending formal methods research with hands-on systems engineering. An uncommon strength is his history of improving testing and build reliability across languages and platforms, from Rust toolchains to TeX engine maintenance.

18 years of coding experience

6 years of employment as a software developer

Master’s Degree, Master’s Degree at The University of Texas at Austin

Doctor of Philosophy (Ph.D.), Doctor of Philosophy (Ph.D.) at Utrecht University

Bachelor’s Degree, Bachelor’s Degree at Washington University in St. Louis

High School, High School at The McCallie School

Stackoverflow

Stats

1,222reputation

150kreached

10answers

2questions

Github Skills (38)

code-optimization10

build-script10

cargo10

admin10

testing10

mathematics10

proofs10

databases10

proof10

database-administration10

math10

graph-database10

maths10

build-automation10

theorem-proving10

Programming languages (37)

C#CCMakeGoHTMLNunjucksTypeScriptShell

Github contributions (5)

terminusdb/terminusdb

Jun 2021 - Jun 2022

TerminusDB is a distributed database with a collaboration model

Role in this project:

Back-end Developer & Database Engineer

Contributions:18 releases, 156 reviews, 239 commits in 1 year

Contributions summary:Sean primarily contributed to the back-end development of TerminusDB, focusing on database-related operations. Their work involved implementing database label deletion, and improvements related to named graph management. The commits demonstrate modifications to core triple store components and API endpoints.

distributednosqllinked-datarevision-controlsql

leanprover-community/mathlib3

Nov 2017 - Mar 2019

Lean 3's obsolete mathematical components library: please use mathlib4

Role in this project:

Back-end Developer

Contributions:41 commits, 58 PRs, 10 pushes in 1 year 4 months

Contributions summary:Sean primarily contributed to the `data/sigma` module, focusing on enhancements and bug fixes related to `sigma` and `psigma` structures. These changes involved duplicating and modifying `sigma` basics for `psigma`, altering the use of `Sort` in `psigma`, and incorporating changes related to induction hypothesis naming. They also added new theorems related to `fin` and made improvements to the `multiset` and `finset` data structures.

maththeorem-provingcomponents-librarymathematicsjavascript

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