Minyoung Kim
Sr. Computer Scientist at SRI International
Menlo Park, California, United States
Summary
👤
Senior🎓
Top SchoolMinyoung Kim is a Senior Computer Scientist with 11 years of experience at SRI International, specializing in cross-disciplinary research that spans 5G security, neuro-symbolic architectures, meta-ML, information-centric and delay-tolerant networking, and cyber-physical systems. She has led projects from ideation through proposal writing, teaming, execution, and client delivery for DARPA, ONR, NSF, and commercial partners, including contributing to an LG Electronics product. Her current work includes translating natural-language 5G specs into semantic models and executable code (OPS-5G), automated evidence generation for certification (ARCOS), and a neuro-symbolic meta-learning engine (PALO/LIME). A detail-oriented collaborator, she has co-authored 45+ peer-reviewed publications with a broad network of 60+ co-authors and earned recognition such as an Excellent Paper Award for work on delay-tolerant ICN. She combines formal methods and semantic technologies with practical system tuning and deployment experience, making her adept at turning rigorous research into auditable, production-relevant artifacts. Based in Menlo Park, she is passionate about quickly mastering new fields and applying analytical rigor to complex, safety- and security-critical systems.
11 years of coding experience
9 years of employment as a software developer
Master's Degree, EECS, Master's Degree, EECS at Seoul National UniversityDoctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at University of California, Irvine
Github Skills (5)
networking8
mobile6
network-service6
configurations2
ros2
Programming languages (3)
Github contributions (5)
SRI-CSL/ENCODERS
Jun 2015 - Sep 2017
ENCODERS (Edge Networking with Content-Oriented Declarative Enhanced Routing and Storage) is SRI’s content-based networking solution that provides network services and transport architectures required for efficient, transparent distribution of content in mobile ad hoc networks.
Contributions:74 commits, 5 PRs, 75 pushes in 2 years 3 months
mobilenetwork-servicenetworking
SRI-CSL/radler
Mar 2017 - Jan 2023
Radler
Contributions:143 commits, 1 PR, 203 pushes in 5 years 10 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.