Curriculum vitae
Curriculum vitae

Dongyoung Kim

Undergraduate in computer science and mathematics at Chung-Ang University, with interests in formalized mathematics, machine learning, and dynamical systems.

Education

Chung-Ang University

Mar 2021 — Present

School of Computer Science and Engineering · Department of Mathematics

Undergraduate studies; double major in Computer Science and Engineering and Mathematics.

Expected graduation: first half of 2028.

Relevant coursework: Abstract Algebra, Real Analysis, Linear Algebra, Differential Equations, Numerical Analysis.

Research interests

Mathematical logic, formal methods, formalized mathematics and LLM-assisted autoformalization; numerical methods, nonlinear dynamical systems, scientific machine learning and complex systems.

Research experience

Student Researcher

Jun 2026 — Present

IBS Biomedical Mathematics Group (BIMAG)

Ongoing research in mathematical and numerical methods for dynamical models.

Research mentor: Yun Min Song.

Undergraduate Student Researcher, PE Program

May — Aug 2022

Chung-Ang University

  • Trained and tuned Cascade Mask R-CNN models with a Swin-T backbone and conducted quantitative computer vision evaluations in Python.
  • Configured MMDetection/MMCV in Google Colab and studied segmentation methods including Mask DINO and SOLO; documented the work in a program report.

Projects

Abstract Algebra Exercise Statement Formalization

2026 — Present

Lean-Korea / TeX-LEAN · Collaborative project

Contribute Lean 4 and Mathlib specifications for exercise statements from Dummit and Foote’s Abstract Algebra.

Music and Friend Recommendation System

Dec 2022 — Feb 2023

Boostcamp AI Tech · Team project

Collected interaction data through APIs and automated data ingestion using PostgreSQL and Airflow.

Book Rating Prediction

Oct — Nov 2022

Boostcamp AI Tech · Team project

Experimented with DeepCoNN modifications and combined user, item and summary features; implemented grid search and explored cold-start handling.

T5-based Named Entity Recognition

Sep 2022

KT GenieLabs project / competition

Implemented the evaluation metric required for a T5-based NER task.

Technical skills

Python · NumPy · PyTorch · C/C++ · Lean 4 · Mathlib

Project experience with PostgreSQL and Airflow.

Academic programs & training

ANU Logic Summer School Upcoming

Dec 2026

Australian National University

Selected participant and grant recipient.

European Industrial Heritage Summer School

Aug 2026

HTW Berlin / Berlin Center for Industrial Heritage

Presented an individual poster on the adaptive reuse of COSMO 40.

Winter School on Quantum Information Science

Jan 2024

Korean Physical Society / Quantum Information Society of Korea

Studied quantum circuits, quantum machine learning and variational quantum algorithms.

Boostcamp AI Tech, 4th Cohort

Sep 2022 — Feb 2023

Naver Connect Foundation · Recommender systems track

42 Seoul La Piscine

Feb 2022

42 Seoul

Youth Engineering Frontier Camp

Jul 31 — Aug 2, 2019

Seoul National University

Implemented an SVD-based movie recommendation algorithm using Python and the MovieLens dataset.

Teaching & mentoring

International Student Mentor

Oct 2026 — Present

Chung-Ang University

Mentor one international student and participate in group mentoring activities.

Major Exploration Mentor

2026 — Present

Chung-Ang University

Mathematics Tutor

Mar — Jul 2026

Private tutoring

Taught mathematics to two middle/high-school students, adapting explanations and practice to individual learning needs.

Instructor and Mentor, Sprout Class

Mar — May 2022

ZeroPage, Chung-Ang University

  • Designed lessons for a small group of first-year students on Python, NumPy, Matplotlib and introductory neural networks using TensorFlow/Keras.
  • Prepared slides and Google Colab exercises, with teaching records and materials maintained online.

Community activities & presentations

ZeroPage

2022 — Present

Chung-Ang University · Member; Vice President in 2022

Gave student seminar presentations on object detection (May 2022), machine translation and attention (Aug 2022), and PE research/Boostcamp applications (Sep 2022).

CUAI

2022 — 2025

Chung-Ang University · Member and student presenter

Participated in paper-reading and presentations; completed the 7th cohort (Mar 2024 — Feb 2025).

Honors, scholarships & grants

ANU Logic Summer School Grant

2026

Australian National University

Registration waiver and travel/accommodation reimbursement.

Overseas Summer Program Scholarship

2026

Chung-Ang University · University Innovation Support Project

Capacity-Building (Specialization) Scholarship

2022, 2026

Chung-Ang University · Extracurricular scholarship

Specialization (SW Workforce Development) Scholarship

2022

Chung-Ang University

First Prize, School Mathematics Competition

2020

Yeongdeungpo High School