I am from Korea, where I earned my degree in English Language and Literature. After moving to the United States, I discovered a passion for Computer Science, leading me to pursue a master's degree with a specialization in programming languages. My professional experience spans a wide range of projects, including compilaton verification, program analysis, and data science, in both academic and industry settings.
Recent events
- Attended Agda Implementors Meeting May 13-18, 2024
- Developed Graph Analytics Library for RelationalAI 2021-2023
- Contributed to a data-driven testing tool for R 2019-2021
- Worked on a proof for secure compilation project 2018-2019
…and you can find more in the archives.