Teaching
Fall 2020: MATH 1553Slides of recent talks
Grassmannian as Continuous Abstract Data Type with Computable SemanticsJoining Functions in Exact Real Computation
About Me
I completed a B.S. in Computer Science and a B.S. in Mathematical Sciences at Korea Advanced Institute of Science and Technology. I am currently a first-year graduate student at Georgia Tech in the ACO program, housed under the School of Mathematics.Here is my CV.
Template design by Andreas Viklund, and permission to use the template given by Chris Jankowski.