Cole Scott
Software Engineer at HRL Laboratories, LLC
Santa Monica, California, United States
Summary
🤩
Rockstar🎓
Top SchoolCole Scott is a software engineer with 11 years of hands-on experience building backend systems and improving language tooling, currently based in Santa Monica and working at HRL Laboratories. He holds dual degrees in Robotics Engineering and Computational Mathematics from UC Santa Cruz, combining rigorous math foundations with practical robotics and systems development. Cole has contributed to the Coalton language by strengthening its type system, optimizer checks, and standard library—work that reflects deep familiarity with static typing and compiler-level testing infrastructure. His internships at Rigetti and Kiwi Campus exposed him to cutting-edge quantum software and robotic applications, informing a pragmatic approach to complex, interdisciplinary problems. Known for methodical debugging and test-first improvements, he often focuses on the less-visible but crucial infrastructure that keeps projects correct and maintainable.
11 years of coding experience
1 year of employment as a software developer
High School, 11-12, High School, 11-12 at Independence High SchoolHigh School, 9-10, High School, 9-10 at Lowell High SchoolUniversity of California Santa Cruz
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (9)
type-system10
functional-programming10
type-safety10
common-lisp10
testing10
data-structure7
data-structures7
algorithm7
algorithms7
Programming languages (7)
Github contributions (5)
coalton-lang/coalton
Aug 2021 - Jan 2023
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:144 reviews, 89 commits, 96 PRs in 1 year 4 months
Contributions summary:Cole primarily contributed to improving the testing infrastructure for Coalton, a statically typed functional programming language built on top of Common Lisp. They fixed several THIH tests by addressing type signature and range usage issues. The user re-enabled check-type in the optimizer passes. The user also implemented various standard library functions. Their work primarily focused on maintaining and improving the type system and core library functionality of Coalton.
type-safetyfunctional-programmingstatically-typedlambda-calculuscompiler
colescott/dotfiles
Mar 2017 - Sep 2022
All my config files in one place
Contributions:67 commits, 1 PR, 59 pushes in 5 years 7 months
placekarabinerconfigneovimdotfiles
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.