Minki Chun
Masters Student at Human-Centered Artificial Intelligence Lab (HCAIL)
Seoul, South Korea
Summary
👤
Senior🎓
Top SchoolMinki Chun is a master's student in Computer Science and Engineering at the University of Seoul, researching human-computer interaction, health, AI, and user experience under Prof. Hyunggu Jung at the Human-Centered AI Lab. With a decade of practical experience and a strong academic record (MSc GPA 4.38; BSc in Information and Communication Engineering 3.74), she blends rigorous engineering foundations with user-centered research. Her work focuses on translating AI advances into tangible UX and health-oriented applications, emphasizing the human side of intelligent systems. Based in Seoul, she brings multidisciplinary fluency across interaction design, machine learning, and healthcare contexts. Colleagues note her ability to bridge lab-based research with practical prototypes that address real user needs.
10 years of coding experience
학사, 정보통신공학전공, 3.74, 학사, 정보통신공학전공, 3.74 at 동국대학교석사, Computer Science, 4.38, 석사, Computer Science, 4.38 at 서울시립대학교
Github Skills (13)
coinduction10
coq10
shared-memory9
opam9
coq-library8
concurrency7
theorem-proving7
proof-assistant7
dependent-types7
algorithms6
javascript3
react3
java1
Programming languages (7)
Github contributions (5)
minkiminki/paco
May 2018 - Mar 2021
Fork of http://plv.mpi-sws.org/paco/
Contributions:29 pushes, 9 branches in 2 years 10 months
mpipaco
snu-sf/promising-ldrf-coq
Feb 2020 - Apr 2022
Contributions:2 releases, 551 commits, 11 pushes in 2 years 1 month
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.