NickĀ Spinale
Portland, Oregon, United States
Summary
š¤
SeniorNick Spinale is a research-driven software engineer and consultant with a decade of experience spanning research, development, and security-focused tooling. Currently a Researcher and Consultant at Colias Group, LLC, he blends investigative rigor with practical engineering to deliver innovative solutions. He previously held the role of Senior Research Engineer at Arm and gained early exposure to industry at Google and Carve Systems, where he created tools to automate vulnerability discovery. He began in academia as a CS lab assistant at Carleton College and earned a Mathematics and Computer Science degree from Carleton, grounding his work in strong analytical foundations. Based in Portland, Oregon, he brings a hands-on, interdisciplinary approach to solving complex problems at the intersection of research and production-grade software.
11 years of coding experience
Github Skills (133)
sgx10
core-platform10
security10
rustlang10
regression10
specification10
proofs10
linux10
isabelle10
rust10
tlaplus10
verification10
microkernel10
sat-solver10
ccc10
Programming languages (14)
Github contributions (5)
coliasgroup/l4v
Nov 2023 - Dec 2024
seL4 specification and proofs
Contributions:446 pushes, 43 branches, 41 tags in 1 year 1 month
nspin/htorrent
Feb 2015 - Oct 2015
Contributions:106 commits, 105 pushes in 8 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.