Juneyoung Lee (이준영), Ph.D.

I am an Applied Scientist at Automated Reasoning Group in AWS (Austin, TX). I work on writing provably correct code that is also fast.

Previously, I was a research engineer CryptoLab, a pioneering company for developing homomorphic encryption frameworks. I also fulfilled my military service in an alternative form by working for this company.

I received Ph.D. from Software Foundations Lab, Seoul National University in August, 2021.

E-mail: lebjuney@amazon.com, aqjune@gmail.com (personal), juneyoung.lee@sf.snu.ac.kr (old)

News

• Apr. 6, 2023: My paper ‘HEaaN.MLIR: An Optimizing Compiler for Fast Ring-Based Homomorphic Encryption’ has been accepted at PLDI’23. I contributed to this research when I was working for CryptoLab in the past.
• Jan. 19, 2023: I am giving a talk at KAIST SoC Colloquium (2023 Spring) on May 8th.
• Oct. 24, 2022: I joined Automated Reasoning Group at AWS (Austin, TX).
• Oct. 2, 2022: I will serve as a program committee for CAV’23.

Interests

• Programming languages, compiler verification (esp. translation validation)
• Theorem proving using SMT solvers and interactive theorem provers
• Compiler for homomorphic encryption
• Verification of cryptographic libraries

Awards, Activities and Experience

• Go to my activities and experience

Publications

• Go to the publications page or Google Scholar

Education

• Ph.D. in Computer Science and Engineering, Seoul National University (2016. Mar ~ 2021. Aug)
  • Advisors: Chung-Kil Hur, Nuno. P. Lopes.
  • Thesis: A Validated Semantics for LLVM IR
    • Recipient of Best Thesis Award from College of Engineering, SNU (one thesis chosen per dept.)
• B.S. in Computer Science and Engineering, minor in Life Science, POSTECH, magna cum laude (~ 2014. 8)

Blog Posts

1. 2021 Oct 4. The select story