Sang-ki Ko
Associate Professor
Seoul, South Korea
Summary
👤
Senior🎓
Top SchoolSang-ki Ko is an Associate Professor in the Department of Artificial Intelligence at the University of Seoul with a decade of experience bridging formal methods, programming languages, and applied AI. He develops trustworthy AI systems and verification tools while translating theory into practice through sports analytics—using event and tracking data to inform decision-making in professional football. His recent work applies large language models to program verification and automated error correction, and explores reinforcement learning and optimization for transport routing and strategic planning. Having progressed from research roles in the UK and industry research at KETI to academic leadership, he combines rigorous formal research with hands-on engineering and course design. Colleagues value his ability to connect interpretable formal techniques with data-driven applications, mentoring students on projects that deliver provable systems and real-world impact.
10 years of coding experience
7 years of employment as a software developer
Doctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at 연세대학교
Github Skills (17)
spring-boot4
java3
autoencoder2
reinforcement-learning2
pytorch2
prediction2
tron1
machine-learning1
music-generation1
architecture1
transformer1
deep-reinforcement-learning1
music1
ais1
deep-learning1
Programming languages (3)
Github contributions (5)
yonsei-toc/CodeComple
Jun 2022 - Jun 2022
Contributions:25 commits, 4 pushes, 1 comment in 1 day
narame7/narame7.github.io
Oct 2019 - Oct 2019
Contributions:126 pushes, 1 branch in 15 days
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.