Curriculum vitae.

Postdoctoral Researcher

Linköping University

Trustworthy Systems Group (TSG)
Cybersecurity (CYBER)
Department of Computer and Information Science (IDA)

Working with Simin Nadjm-Tehrani as part of RESIST.

Graduate Researcher

Theory of Computation Lab, Yonsei University
Formal language theory, grammar-based NLP, and program analysis.

Research Intern

Theory of Computation Lab, Yonsei University
Automata, grammar classification, and natural language processing.

Ph.D. in Computer Science

Yonsei University, Seoul, Republic of Korea
Advisor: Yo-Sub Han

Dissertation: Symbolic Techniques for Deep Learning in Natural Language Processing and Program Analysis

Bachelor’s Degree in Computer Science

Yonsei University, Seoul, Republic of Korea

Human–AI Programming Platform Research

Ministry of Science and ICT, Republic of Korea

Human-in-the-loop workflows for understanding programming intent and generating reliable source code.

Financial Data Analysis & Transformation

Bankware Global

Financial-data transformation for language-model reasoning and retrieval, with domain adaptation under limited expert data.

5th AI Grand Challenge

Ministry of Science and ICT, Republic of Korea

Deep learning for mathematical problem solving, including equation-based training-data generation and participation in the competition finals.

Human–AI Collaborative Programming Platform

Ministry of Science and ICT, Republic of Korea

Neuro-symbolic and semi-supervised methods for code summarization and complexity analysis.

Automated Malware Pattern Rule-set Generation

Ministry of Science and ICT, Republic of Korea

Learning malware patterns and studying rule-set compression and synthesis for automated detection.

EEG Rule Extraction & Data Similarity Approximation

Yonsei University

Project proposal and similarity-algorithm research.

Undergraduate research mentoring

Formal grammar and computational linguistics.

Teaching Assistant, Automata & Formal Languages

Yonsei University.

Reviewing & program committees

Reviewer / PC member for ACL Rolling Review and EMNLP; service since 2022.