Résumé

Education

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 backend infrastructure

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

Publications

[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.