Yoonseok Ko
Software Engineer at Meta
California, United States
Summary
👤
Senior🎓
Top SchoolYoonseok Ko is a software engineer with 11 years of experience focused on static program analysis, security, and compiler optimizations for C and JavaScript. He has built practical static analyzers used in IDE features and vulnerability discovery, and his research-led work at Inria and ENS produced new abstract domains and secure JavaScript compilation techniques. At Meta he contributed to Spark AR scripting and now works on a behavior compiler/runtime, blending research depth with production-grade engineering. Yoonseok holds a PhD-level background from KAIST and has a track record of shipping both academic tools (e.g., Sparrow, SAFE) and industrial static-analysis features, demonstrating an uncommon ability to move ideas from prototypes into deployed developer tooling.
11 years of coding experience
9 years of employment as a software developer
PhD Computer Science, PhD Computer Science at Korea Advanced Institute of Science and Technology
Github Skills (23)
static-code-analysis10
static-analysis10
analyzer10
java10
cpp10
homebridge9
objective-c9
static-analyzer9
azerothcore9
ecmascript8
homekit8
javascript8
dot-notation8
ecma8
integrate7
Programming languages (6)
Github contributions (5)
hakjoooh/infer
Feb 2021 - Sep 2022
A static analyzer for Java, C, C++, and Objective-C
Contributions:158 pushes, 10 branches in 1 year 7 months
static-analyzerobjective-ccppstatic-code-analysiscode-analysis
mir597/ml_safe
Jul 2015 - Feb 2020
Contributions:57 pushes in 4 years 8 months
scalablejavascriptanalysis-frameworktypescriptecmascript
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.