Last updated: June 27th, 2022
- Columbia University
- M.S. Computer Science, 2021
- Pomona College
- B.S. Mathematics, 2017
- Cum Laude, Phi Beta Kappa
- 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
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).
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.
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).
Choi, Wonhyuk., Deanna Needell, and Sam Nelson.
Boltzmann Enhancements of Biquasile Counting Invariants.
Journal of Knot Theory and its Ramifications (JKTR).
,27, 1850068. 2018.
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 firstname.lastname@example.org.