Teaching

Fall 2020: MATH 1553

Slides of recent talks

Grassmannian as Continuous Abstract Data Type with Computable Semantics
Joining 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.