I am a Postdoctoral Researcher in the Group of Inverse Problems and Mathematical Imaging (IPMI) at Johann Radon Institute for Computational and Applied Mathematics (RICAM), Austrian Academy of Science (ÖAW). My mentor is Prof. Otmar Scherzer.
I obtained my Ph.D at Yonsei University under the supervision of Prof. Youngmi Hur.
Curriculum Vitae (last updated in August 2025)
Research Interests:
Approximation theory for machine learning and inverse problems
Deep learning for theorem proving and formalization
Construction of wavelet frames in various function spaces
Abstract harmonic analysis - unitary representation theory on locally compact groups
Publication Lists:
Provable Wavelet-Based Neural Approximation (with Y. Hur and M. Lim) (submitted) (preprint in arXiv)
New Tight Wavelet Frame Constructions Sharing Responsibility (with Y. Hur) (submitted) (preprint in arXiv)
Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques (with S. Han, T. Hur, Y. Hur, K. S. Lee, and M. Lee), Intelligent Computing: Proceedings of the 2025 Computing Conference, Volume 2, pp. 205-222. Part of the Lecture Notes in Networks and Systems book series (LNNS, volume 1424). Springer. (preprint in arXiv and codes)
Wavelet Series Expansion in Hardy Spaces with Approximate Duals (with Y. Hur), Analysis Mathematica, Vol. 50, No. 2, 2024, pp. 563-595. (preprint) (preprint in arXiv)
Understanding the Scattering Transform using Univariate Signals (with Y. Hur), Proceedings of 11th International Congress on Image and Signal Processing, BioMedical Engineering and Informatics (CISP-BMEI), 2018, pp. 1-7. (preprint)
Work in Progress
Wavelet Frames over p-adic Numbers (with W. Lee)
Ph.D. Mathematics in Yonsei University, 2024
B.S. Mathematics in Konkuk University, 2017