Last updated: June 27th, 2022


Columbia University
M.S. Computer Science, 2021
Pomona College
B.S. Mathematics, 2017
Cum Laude, Phi Beta Kappa

Professional Experience

Software Engineer @ Meta
Mar 2022 - Present
Program analysis for HHVM, the JIT runtime for the Hack language responsible for all of Meta's web frontends
Dynamic taint analysis for privacy data with record-replay
Data Scientist @ Data Marketing Korea
Sep 2019 - June 2020
Worked on natural language processing (NLP) tasks including document classification, summarization, and topic modelling
Developed new noun extraction algorithm with state-of-the-art accuracy of 95.9%
Systemized machine learning post-processing pipeline to analyze 500 million articles per day
Liasion Officer & Interpreter @ Korean Army 1st Corps
Nov 2017 - July 2019
Communicated classified intelligence between US Army 2nd Division and Korean Army 1st Corps
Translated international meetings between generals and officers


[1] Choi, Wonhyuk, Bernd Finkbeiner, Ruzica Piskac, and Mark Santolucito. Can Reactive Synthesis and Syntax-Guided Synthesis be Friends? Proceedings of the 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). 2022.
[2] Choi, Wonhyuk, Michel Vazirani, and Mark Santolucito. Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications. Asian Symposium on Programming Languages and Systems (APLAS). Springer, Cham, 2021.
[3] Vazirani, Michel, Wonhyuk Choi, and Mark Santolucito. TSL Synthesis Synthesizer: Reconfigurable Signal Flows through Program Synthesis. International Conference on New Interfaces for Musical Expression (NIME). PubPub. 2021.
[4] Choi, Wonhyuk., Deanna Needell, and Sam Nelson. Boltzmann Enhancements of Biquasile Counting Invariants. Journal of Knot Theory and its Ramifications (JKTR). ,27, 1850068. 2018.
[5] Khokdar, Abdollah, Oliver Sawin, Lisa Mueller, and Wonhyuk Choi. (r)-Pancyclic, (r)-Bipancyclic and Oddly (r)-Bipancyclic Graphs. Journal of Combinatorial Mathematics and Combinatorial Computing (JCMCC). , 102, 267–275. 2017.

For a more detailed resume, please contact me at wonhyuk.choi@columbia.edu.