I am an associate professor in Department of Mathematics, College of Science, Korea University. I am also jointed appointed by Department of Data Science, College of Informatics, Korea University. I have been leading AIML@K since 2021, with the goal of educating future leaders and colleagues aware of the importance of bridging artificial intelligence and mathematics. Click here for my curriculum vitae(CV).
My personal research themes since Ph.D. days include learning to make wise decisions under uncertainty, efficiency of machine learning algorithms, explainable and verifiable artificial intelligence. I believe that research with solid ties to real applications and practical impact is as important as research in abstract setting that maximizes generalizability. I thank Professor Warren B. Powell, my Ph.D. advisor, for nudging me toward this full-spectrum, end-to-end research-to-reality attitude.
As a faculty in Math department, I am keenly interested in the future of mathematics. Perhaps we are living in the groundbreaking days of mathematics which may be recollected in future as the second paradigm-shift of mathematic (perhaps, Bourbaki 2.0?). My current research thrust includes novel synthesis of mathematics research with computational tools, such as computer-assisted theorem proving and multimodal generative models.
Ph.D. in Computer Science, 2019
Princeton University
M.S. in Computational Biology, 2009
Carnegie Mellon University
B.A. in Biochemistry, 2007
Columbia University in the City of New York