Thomas Dubuisson
Staff Software Engineer at Paxos
Portland, Oregon, United States
Summary
🤩
Rockstar🎓
Top SchoolThomas Dubuisson is a Staff Software Engineer in Portland with 26 years of experience specializing in security engineering, distributed systems, and applied cryptography. He co-founded Muse.Dev and built the static-analysis service Lift, bringing formal verification and developer-friendly tooling into real-world CI workflows before the company's acquisition by Sonatype. At Paxos he now focuses on making financial transactions trustworthy through secure design, code audits, and developer education, while still contributing hands-on in Go and Rust. His research background at Galois produced prototypes and papers on multiparty computation and cryptographic leakage analysis, and he has practical open-source contributions to notable projects like Cryptol and the Haskell Hackage server. Colleagues rely on him to translate research-grade security into production-ready systems and to run programs that turn engineers into security representatives.
26 years of coding experience
16 years of employment as a software developer
Portland State UniversityBachelor's degree, Computer Engineering, Bachelor's degree, Computer Engineering at University of Idaho
Stackoverflow
64,520reputation
2.0mreached
897answers
21questions
haskell
top-1%
error-handling
top-5%
trim
top-5%
lazy-evaluation
top-5%
profiling
top-5%
recursion
top-5%
Github Skills (44)
server-side10
crypto10
erlang10
python10
testing10
hackage10
parallel-processing10
cabal10
server10
haskell10
api-design9
monads9
algorithm9
rep9
algorithms9
Programming languages (28)
Github contributions (5)
GaloisInc/cryptol
May 2014 - Jul 2016
Cryptol: The Language of Cryptography
Role in this project:
Back-end Developer
Back-end DeveloperContributions:46 commits, 5 PRs, 22 pushes in 2 years 1 month
Contributions summary:Thomas primarily focused on improving the Cryptol language's core functionality, particularly related to random number generation for testing and evaluation. They addressed issues by refining the `randomWord` function to produce a more uniform distribution and switching to higher-quality random number generators. Additionally, the user made several bug fixes, including a fix related to bit size calculations and handling of index errors within the REPL. Furthermore, they implemented the `:writeByteArray` and `:readByteArray` commands, enhancing the REPL's usability.
cryptography
haskell/hackage-server
Jun 2009 - Jul 2011
Hackage-Server: A Haskell Package Repository
Role in this project:Back-end Developer
Back-end DeveloperContributions:9 commits in 2 years 1 month
Contributions summary:Thomas primarily contributed to the server-side logic of the Hackage server. Their work included adding package checking capabilities, modifying package serving, and implementing a password change feature. They also updated dependencies and fixed bugs related to tag editing. The contributions demonstrate a focus on improving the server's functionality and user experience.
hackagehaskellpackage-repositorycabal
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.