Experience

  1. Research Engineer

    Harmonic

  2. Research Intern

    Theorem

  3. Applied Scientist Intern

    Amazon Web Services
    Applied Scientist Intern at ARI (Automated Reasoning in Identity) group.

  4. Applied Scientist Intern

    Amazon Web Services
    Applied Scientist Intern at ARI (Automated Reasoning in Identity) group.

  5. Malware Analyst, Security Personnel

    ROK Army Headquarter (Obligatory Military Service)

Education

  1. PhD Computer Science and Engineering

    UC San Diego (Transferred from UW-Madison)
    Research on scaling formal reasoning through modularization and abstraction. Supervised by Loris D’Antoni.

  2. MS Computer Science

    University of Wisconsin-Madison
    Supervised by Loris D’Antoni. Transferred to UC San Diego after 3 years.

  3. BS Computer Science and Mathematics

    Pohang University of Science and Technology
    Engineering’s Valedictorian, Summa Cum Laude

Teaching

  1. TA for CS513, Numerical Linear Algebra

    University of Wisconsin-Madison

  2. TA for CS240, Discrete Mathematics

    University of Wisconsin-Madison