Jeongsoo Lee
CodeQL Analysis Engineer at GitHub
New York, New York, United States
Summary
👤
Senior🎓
Top SchoolJeongsoo Lee is a CodeQL Analysis Engineer with eight years of experience specializing in static analysis and security-focused query development for C/C++, Java, and JavaScript. Based in New York and working on GitHub's Security Services team, he builds CodeQL queries and CI-integrated Code Scanning rules, including a notable C/C++ coding-standards suite for MISRA, CERT, and AUTOSAR compliance. His background blends academic research—implementing static checkers in Infer, creating taint-specification patents, and experimenting with scalable graphical inference models—with hands-on customer enablement through workshops and tailored query integrations. Comfortable with normalized source-code representations (AST, CFG, DFG, taint analysis), he translates legacy logic into actionable diagrams and robust test suites, often automating pattern generation. The mix of deep program-analysis research and practical, customer-facing delivery makes him effective at turning formal techniques into deployable security tooling.
8 years of coding experience
Bachelor's degree, Computer Science, 4.15 / 4.5, Bachelor's degree, Computer Science, 4.15 / 4.5 at Korea University
Github Skills (5)
react5
typescript4
nextjs4
fundamentals4
web-developer2
Programming languages (3)
Github contributions (5)
Dexter0526/web_back-end_project_v2.00
Jul 2019 - Feb 2020
Construction company WebSite
Contributions:198 commits, 2 PRs, 137 pushes in 6 months
reactfundamentalsweb-developernextjsconstruction-company
Dexter0526/noname_movie
Nov 2019 - Jan 2020
영화 & 영화관 평점 관리 사이트
Contributions:40 PRs, 80 pushes, 2 branches in 1 month
reacttypescript
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.