Jungyoon Lim

I am joining Axiom Math as a Member of Technical Staff. Previously, I was a founding engineer at Mathematics, Inc. I studied Applied Math and Philosophy at Brown University. Interests range from formal methods and PLT to ancient philosophy, product design, and fine art. Feel free to reach out at jungyoon (underscore) lim (at) alumni (dot) brown (dot) edu.