# Yoonseok Ko

> -

Location: San Francisco Bay Area, United States
Profile: https://flows.cv/yoonseok

## Work Experience
### Software Engineer @ Meta
Jan 2024 – Present | California, United States
Behavior Compiler / Runtime

### Software Engineer @ Meta
Jan 2021 – Jan 2024 | London Area, United Kingdom
Spark AR Scripting
React AR

### Research Engineer @ Inria
Jan 2020 – Jan 2021 | Valbonne, Provence-Alpes-Côte d'Azur, France
Theory and implementation for JavaScript secure interactions.
Compiler optimization with precondition inference in JavaScript ahead-of-time compiler.

### Postdoctoral Researcher @ Inria
Jan 2018 – Jan 2019 | Valbonne, Provence-Alpes-Côte d'Azur, France
Secure JavaScript Compilation

### Intern @ Ecole normale supérieure
Jan 2016 – Jan 2016 | 파리 지역
* Weakly Sensitive Analysis for JavaScript jQuery Programs
  - new abstract domains for JavaScript traces, objects, and string values.

### Senior Specialist @ 에스코어(S-Core)
Jan 2011 – Jan 2013 | 대한민국
Static Analysis for JavaScript programs
 - Scalable Analysis Framework for ECMAScript (https://github.com/sukyoung/safe/tree/SAFE1.0)
Static Pointer Analysis for C programs
 - used for the Irrelevant code hiding module in Samsung Tizen IDE.

### Graduate Student Researcher @ ROSAEC (Research On Software Analysis for Error-free Computing), Seoul National University
Jan 2008 – Jan 2011 | Seoul, South Korea
Sparrow Static Analyzer
- https://github.com/ropas/sparrow


## Education
### PhD in Computer Science
Korea Advanced Institute of Science and Technology
Jan 2013 – Jan 2018


## Contact & Social
- LinkedIn: https://linkedin.com/in/yoonseok-ko

---
Source: https://flows.cv/yoonseok
JSON Resume: https://flows.cv/yoonseok/resume.json
Last updated: 2026-03-22