Center for foundations of mathematical algorithms and security
Science Research Center (SRC) · National Research Foundation of Korea (NRF)
Projects
Research grants and industry collaborations, with the funding program for each.
Research grants 7
SOTA-MATH: center for specialized orchestration and training of AI for frontier mathematics
AI4S&T · National Research Foundation of Korea (NRF)
Beyond transformer, beyond next-token prediction: hierarchical spectral state-space model with mathematical guarantees and unified learning algorithms
Next Generation AI+S&T · National Research Foundation of Korea (NRF)
Intelligent national defense swarm system
ITRC · Institute for Information & Communications Technology Planning & Evaluation (IITP)
Artificial intelligence-based end-to-end framework for black-box combinatorial optimization
Young Researcher Grant · National Research Foundation of Korea (NRF)
Deep learning foundation model for combinatorial optimization and its applications to various industrial problems
Basic Research Lab (BRL) · National Research Foundation of Korea (NRF)
Combinatorial optimization for data-driven decision making
Young Scientist Fellowship (YSF) · Institute for Basic Science (IBS)
Industry projects 3
Generative AI-based JEDEC vector generator
SK Hynix
Multi-system IO margin optimization via test mode register set (TMRS) combination search
Samsung Electronics, DRAM AE Team
Optimal test mode register set (TMRS) combination search
Samsung Electronics, DRAM AE Team