Shon Feder
Senior Software Engineer Technical Lead at Tarides
Old Toronto, Ontario, Canada
Summary
🤩
Rockstar🎓
Top SchoolShon Feder is a Senior Software Engineer and Technical Lead with 11 years of experience building systems-level software, developer tooling, and distributed microservice architectures from embedded robotics to cloud services. He specializes in functional programming and systems programming, while also delivering object-oriented and procedural solutions across the full stack, and has hands-on experience improving build systems like the widely used OCaml dune (adding project init and refactoring parsing/validation). A thoughtful engineer grounded in Programming Language Theory, Shon pairs formal specification and model-checking practice with a background in philosophy and literary theory to produce precise, verifiable designs. He has led technical projects and teams at Informal Systems and Tarides, runs his own company Synechistic Technologies, and consistently bridges research-quality rigor with production delivery. Based in Old Toronto, he brings an unusual blend of academic rigor, practical DevOps/build expertise, and a penchant for exploring the nature of the programmable.
11 years of coding experience
7 years of employment as a software developer
German Language and Literature, German Language and Literature at University of Colorado Boulder
English, German
Stackoverflow
4,049reputation
322kreached
96answers
15questions
prolog
top-5%
Github Skills (13)
ocaml10
cli9
command-line9
command-line-interface9
prolog9
software-design8
sml6
markdown6
swi-prolog6
python-sphinx6
restructuredtext6
python6
haskell6
Programming languages (32)
Github contributions (5)
ocaml/dune
Aug 2018 - Sep 2022
A composable build system for OCaml.
Role in this project:
Back-end Developer & Build System Maintainer
Back-end Developer & Build System MaintainerContributions:38 reviews, 31 commits, 47 PRs in 4 years 2 months
Contributions summary:Shon primarily contributed to the `dune` build system by implementing new features and refactoring existing code. They added a `dune init` command, enabling the initialization of project skeletons. Further commits show the refactoring of the parsing logic within the system. They also improved validation of arguments to the `dune init` command.
infinibandlwtmulticoreocamldune
informalsystems/apalache-sandbox
Oct 2020 - Mar 2024
Contributions:1 review, 1 PR, 5 pushes in 3 years 5 months
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.