Adam Nelson
Senior Associate
Massachusetts, United States
Summary
👤
Senior🎓
Top SchoolAdam Nelson is a senior web and research developer with 11 years of experience building full-stack systems and production services across fintech, cybersecurity training, and enterprise web platforms. He specializes in Node.js and modern web technologies while bringing deep expertise in the JVM ecosystem—Java, Scala, Scala 3 migrations with ZIO—and functional languages like Haskell and OCaml. Adam has shipped AI-driven features (large-scale review summarization and RAG) and led migrations and ops work on AWS, demonstrating a balance of hands-on engineering and platform reliability. He mentors junior engineers, modernizes legacy stacks, and frequently applies purely functional patterns in TypeScript using fp-ts to bring advanced type discipline to frontend code. Outside day-to-day work he pursues esoteric languages, type systems, and “weird” JSON experiments—evidence of a strong research mindset rooted in a master’s thesis on formal verification. Based in Massachusetts, he contributes publicly on GitHub and thrives on learning and adopting obscure technologies to solve practical problems.
11 years of coding experience
14 years of employment as a software developer
Bachelor's Degree Computer Science, Bachelor's Degree Computer Science at University of WashingtonComputer Science and Physics, Computer Science and Physics at Bridgewater CollegeMaster's Degree Computer Science, Master's Degree Computer Science at University of Massachusetts Amherst
Stackoverflow
551reputation
544kreached
13answers
6questions
Github Skills (87)
scheme10
r7rs9
code-golf9
gambit9
regression9
lambda-calculus9
sat9
typescript9
android-application8
uinput8
ipados8
theorem-proving8
sat-solver8
isomorphic-javascript7
graphic7
Programming languages (14)
Github contributions (5)
ar-nelson/spartan-schema
Mar 2021 - Jul 2022
Contributions:4 releases, 6 commits, 10 pushes in 1 year 4 months
ar-nelson/chibi-scheme
Jan 2020 - Jun 2023
Official chibi-scheme repository
Contributions:2 PRs, 7 pushes, 3 branches in 3 years 6 months
scheme
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.