Scott聽Cotton
Senior Software Engineer at Signadot
Grenoble, Auvergne-Rh么ne-Alpes, France
Summary
馃懁
Senior馃帗
Top SchoolScott Cotton is a senior software engineer and former CTO with seven years in industry engineering roles and a long research pedigree in formal methods, satisfiability solving, and NLP. He combines hands-on backend systems work (Polyspace at MathWorks, distributed tooling at Signadot) with deep research experience from a PhD and postdocs on decision procedures and optimization. Scott founded a one-person R&D company that produced the Gini SAT solver and the CRISP protocol for distributed SAT solving, demonstrating both productisation and novel distributed systems design. His background spans hardware verification, symbolic model checking, and audio/NLP research, reflecting a rare cross-section of formal verification and applied software engineering. Based in Grenoble, he is a Gopher who brings formal rigor to practical engineering problems and a history of turning academic inventions into usable open-source tools. An adventurous learner (Wilderness Leadership training and a BA in Medical Anthropology), he often approaches technical problems with interdisciplinary creativity.
7 years of coding experience
20 years of employment as a software developer
BA Medical Anthropology, BA Medical Anthropology at University of PennsylvaniaWilderness Leadership and Safety, Wilderness Leadership and Safety at NOLSMSc Programming Logics, MSc Programming Logics at Max Plank InstitutePhD Computer Science and Applied Mathematics, PhD Computer Science and Applied Mathematics at University Joseph Fourier
French, English
Github Skills (52)
programming-language10
matrix10
solver10
graph10
interpreter10
go10
golang10
goplus9
command-line-interface9
ssa9
statistics9
sat9
sat-solver9
scientific-computing9
pointer9
Programming languages (4)
Github contributions (5)
go-air/dupi
Sep 2021 - Sep 2021
A tool to find all duplicates in large sets of text documents.
Contributions:9 releases, 1 review, 44 commits in 14 days
nlpgolangextractionpythonduplicates
signadot/go-sdk
Jun 2022 - Apr 2025
Go SDK for Signadot
Contributions:15 reviews, 30 PRs, 30 pushes in 2 years 9 months
golangsdk-gosdk
Find and Hire Top DevelopersWe鈥檝e 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.