Cole Vick

PHD Student at The University of Texas at Austin

United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
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.
code8 years of coding experience
job3 years of employment as a software developer
bookBachelor of Science - BS, Computer Science, Sophomore, Bachelor of Science - BS, Computer Science, Sophomore at Northeastern University
bookHigh School Diploma, High School Diploma at Fort Worth Country Day
github-logo-circle

Github Skills (82)

stitch10
embroidery10
leap-year10
inkscape10
solidity9
ietf9
rust9
timing9
leap-second9
time-management9
cryptography9
blockchain9
quic9
utc9
cpp8

Programming languages (8)

TypeScriptJavaC++RustCJavaScriptJupyter NotebookPython

Github contributions (5)

github-logo-circle
cvick32/MonogramMagic

Jun 2022 - Jun 2022

Contributions:12 commits, 2 PRs, 8 pushes in 1 day
cvick32/ConditionalHistory

Sep 2022 - Nov 2022

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.
Request Free Trial