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

I’m a research engineer at CryptoLab, a pioneering company for developing homomorphic encryption frameworks. I am developing a compiler for fast homomorphic encryption.

I received Ph.D. from Software Foundations Lab, Seoul National University in August, 2021. When I was a graduate student, I worked on clarifying the semantics of the intermediate representation of the LLVM compiler infrastructure and implementing compiler optimization validators. I actively sent patches to LLVM (commits/patches) and participated in developing Alive2 (online), an automatic optimization validator (pull requests).

/

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
• B.S. in Computer Science and Engineering, minor in Life Science, POSTECH, magna cum laude (~ 2014. 8)

Interests

• Programming languages, compiler verification (esp. translation validation)
• Theorem proving using SMT solvers and interactive theorem provers
• Homomorphic encryption (new!)

Activities and Experience

• Go to my activities and experience

Publications

• Go to the publications page

Blog Posts

1. 2021 Oct 4. The select story