Charles Koll
Graduate Research Assistant
Corvallis, Oregon, United States
Summary
👤
Senior🎓
Top SchoolCharles Koll is a PhD candidate in Artificial Intelligence and Computer Science at Oregon State University with a decade of technical experience bridging formal methods, distributed systems safety, and privacy-preserving multi-party computation. His research focuses on runtime verification for safety in distributed cyber-physical systems and secure multi-party protocols for private system testing, building on a prior MS in Transportation where he studied infrastructure resilience around natural disasters. He combines theoretical strengths in temporal logic and mechanism design with hands-on research and teaching experience across CS and Civil Engineering, advising under Dr. Houssam Abbas and previously Dr. Haizhong Wang. Based in Corvallis, he pairs rigorous academic work with community engagement—mentoring newcomers in West Coast Swing dancing—a detail that reflects his knack for teaching and building collaborative communities.
10 years of coding experience
5 years of employment as a software developer
Doctor of Philosophy - PhD Artificial Intelligence Computer Science, Doctor of Philosophy - PhD Artificial Intelligence Computer Science at Oregon State University
Github Skills (23)
dbms-project10
extjs9
abaqus9
azerothcore8
mod-manager8
react7
mysql-database7
server6
typescript6
data-exchange6
julia5
datasets5
rosetta-code5
dataframes4
tabular4
Programming languages (6)
Github contributions (5)
kollch/transportation-models
Oct 2018 - Oct 2019
Capstone project involving modeling vehicular transportation
Contributions:55 PRs, 125 pushes, 37 branches in 1 year
capstonemodelingtransportation
sabotagelab/phryctoria
Aug 2023 - Oct 2024
Contributions:2 reviews, 4 PRs, 2 pushes in 1 year 2 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.