Chase Johnson
Computer Scientist
Minneapolis, Minnesota, United States
Summary
👤
Senior🎓
Top SchoolChase Johnson is a PhD candidate in Computer Science at the University of Minnesota specializing in programming languages, type theory, and proofs-as-programs, with nine years of hands-on experience spanning research, teaching, and industry internships. He has applied his theoretical expertise in multiple Applied Scientist internships at AWS and as a graduate research assistant, bridging formal methods and practical system design. Based in Minneapolis, he brings classroom experience as a teaching assistant and a track record of mentoring students while translating complex logical ideas into implementable code. Notably, his profile reflects repeated industry collaboration at AWS across consecutive summers, indicating both practical impact and strong ability to contribute in production-focused research teams.
9 years of coding experience
1 year of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of MinnesotaUniversity of Minnesota Twin Cities
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (54)
hostname10
api-platform10
api-design10
insomnia10
api-client10
websocket10
http-client10
api10
rest10
whoami10
graphql10
rest-api10
curl10
grpc10
calendars9
Programming languages (12)
Github contributions (5)
cjohnson19/cjohnson19.github.io
Dec 2021 - Feb 2023
Personal website & blog
Contributions:47 commits, 5 PRs, 37 pushes in 1 year 2 months
cjohnson19/advent-of-code
Dec 2022 - Dec 2024
Contributions:17 pushes, 1 branch in 2 years
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.