Yechanย Bae
Senior Security Researcher at Microsoft
Atlanta, Georgia, South Korea
Summary
๐คฉ
Rockstar๐
Top SchoolYechan Bae is a senior security researcher with 12 years of experience specializing in software security, program analysis, and programming languages, currently on the MSecAI team at Microsoft. He blends academic rigor from Georgia Tech with hands-on product leadership at Theori, where he built and productized security prototypes like Xint and led Web3 automated risk detection efforts. An active open-source contributor, Yechan has improved Rust tooling at scale โ notably enhancing rust-clippy lints and contributing core analysis components to Rust memory-safety projects such as Rudra. He is comfortable spanning research and engineering: implementing compiler-driven analyses, call graphs, and panic-safety checks while shipping practical security features. Based in Atlanta and originally from South Korea, he brings a pattern of turning deep program-analysis research into usable developer tools and risk-detection products.
12 years of coding experience
7 years of employment as a software developer
Bachelor's degree Creative IT Engineering, Bachelor's degree Creative IT Engineering at Pohang University of Science and TechnologyMaster of Science - MS Computer Science, Master of Science - MS Computer Science at Georgia Institute of Technology
Github Skills (14)
algorithm10
linter10
data-structures10
memory-safety10
linting10
algorithms10
static-analysis10
rust10
lint10
data-structure10
documentation10
compiler-development10
testing9
security8
Programming languages (11)
Github contributions (5)
sslab-gatech/Rudra
Sep 2019 - Jan 2022
Rust Memory Safety & Undefined Behavior Detection
Role in this project:
Back-end Developer & Security Engineer
Back-end Developer & Security EngineerContributions:1 review, 184 commits, 5 PRs in 2 years 3 months
Contributions summary:Yechan appears to be involved in the development of a memory safety and undefined behavior detection tool using Rust. Their contributions primarily focus on setting up the foundational structure of the project and incorporating essential Rust libraries and features, including compiler driver and interface components. The user implemented a syntax visitor, a call graph, and a panic safety checker. The primary goal of the project is to aid in the identification of memory safety issues in Rust code.
rustmemorysafetymemory-safety
rust-lang/rust-clippy
Sep 2019 - Jan 2022
A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
Role in this project:Back-end Developer
Back-end DeveloperContributions:20 reviews, 4 PRs, 44 comments in 2 years 4 months
Contributions summary:Yechan primarily contributed to the `rust-clippy` repository by enhancing the code quality and documentation of existing lint rules. Their contributions include fixing typos, updating documentation to improve clarity, refining help messages, and improving the raw pointer heuristic within the `non_send_field_in_send_ty` lint. The user also added configuration for the raw pointer heuristic. Further contributions included initial implementations and attribute handling, as well as adding more test cases.
linterlintrustlangmistakes
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.