Dominique Danco
Engineering Team Lead at Alpaca
Burlington, Vermont, United States
Summary
👤
Senior🎓
Top SchoolDominique Danco is an engineering team lead with nine years of experience building software and leading teams across startups and academia, currently based in Burlington, VT. They have progressed from hands-on engineering roles at Alpaca and Instabase to leadership at Ans and now lead engineering at Alpaca again, bringing product-minded technical direction to algorithmic and operations-focused work. Dominique holds an MSc in Logic from the University of Amsterdam and a BA/Sc in Cognitive Science from McGill, and has taught formal verification using the Lean proof assistant—an indicator of a rigorous, theory-informed approach to engineering. Their background includes research in computational behavioral modeling and mentoring roles, showing a penchant for clear communication and teaching technical concepts. Comfortable translating formal methods into practical systems, they blend algorithmic depth with operational experience across distributed and production environments. Outside of work they maintain a public technical presence via Medium and GitHub, signaling a habit of documenting and sharing lessons learned.
9 years of coding experience
7 years of employment as a software developer
Master of Science, Logic, Master of Science, Logic at UvABachelor of Arts and Science, Cognitive Science, Bachelor of Arts and Science, Cognitive Science at McGill University
English, French
Github Skills (6)
extraction6
alpaca2
declarative2
tex2
latex2
synchronization1
Programming languages (4)
Github contributions (5)
ddanco/minesweeper
Apr 2020 - Jan 2025
Contributions:2 pushes, 1 branch in 4 years 10 months
ddanco/mol
Sep 2021 - Mar 2023
Contributions:1 push in 1 year 6 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.