Jieung Kim
Assistant Professor at Yonsei University
Seoul Incheon Metropolitan Area South Korea
Summary
🤩
Rockstar🎓
Top SchoolJieung Kim is an Assistant Professor of Computer Science and Engineering at Yonsei University with nine years of experience bridging formal methods, systems, and machine learning security. Trained as a PhD at Yale and with prior roles at Google Research and Core ML, Jieung specializes in formal (mathematical) modeling and verification of OSes, distributed systems, and neural networks using programming-language-theory techniques. His work includes formally verified hypervisor efforts (Protected KVM), contributions to CertiKOS, and abstract models for Paxos/Raft, reflecting a rare blend of academic rigor and production-grade security engineering. He focuses on reducing the cost of software failures by proving key reliability properties rather than relying solely on testing or instrumentation. Based in Seoul, he combines teaching, research, and industry collaboration to make core computing components measurably safer.
9 years of coding experience
13 years of employment as a software developer
Doctor of Philosophy (Ph.D.) Computer Science, Doctor of Philosophy (Ph.D.) Computer Science at Yale UniversityBachelor of Science (BS) Computer Engineering, Bachelor of Science (BS) Computer Engineering at Sungkyunkwan UniversityMaster of Science (MS) Computer Science, Master of Science (MS) Computer Science at Korea Advanced Institute of Science and Technology
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (14)
enclave10
distributed-systems8
database8
code-golf7
scheme7
mojo6
racket5
stack-based4
polyglot4
programming-language3
cerberus3
semantics3
language-design2
compiler2
Programming languages (4)
Github contributions (5)
petrosyh/hafnium-verification
Sep 2020 - Sep 2021
Contributions:4 reviews, 105 pushes in 1 year
jieungkim/webpage
Feb 2020 - Mar 2025
Contributions:33 pushes, 1 branch in 5 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.