Cole Vick is a PhD student in computer science with nine years of hands-on engineering and research experience spanning web development, automation, and systems programming. He brings practical production chops from roles at Charles River Development and internships where he built automation pipelines, Ansible tooling, and web apps that saved hundreds of hours of manual work. Comfortable across Python, Java, C++, NodeJS and Ansible, he pairs full-stack implementation skills with a growing interest in machine learning and systems research. A former Northeastern tutor and philosophy major, he leverages philosophical training to clarify complex technical ideas for non-technical audiences and as a lens on foundational assumptions in computing. At UT Austin he combines research rigor with a proven track record of shipping pragmatic engineering solutions.
8 years of coding experience
3 years of employment as a software developer
Bachelor of Science - BS, Computer Science, Sophomore, Bachelor of Science - BS, Computer Science, Sophomore at Northeastern University
High School Diploma, High School Diploma at Fort Worth Country Day
Tool from 'Synthesizing History and Prophecy Variables for Symbolic Model Checking'
Contributions:3 releases, 55 commits, 2 PRs in 1 month
model-checkingcheckingprophecysymbolicvariables
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.