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).
/

News
- May. 10: I gave a talk “Prototyping a compiler for homomorphic encryption using MLIR” at LLVM-CGO 2022 and EuroLLVM 2022.
- Jun. 2: My paper “SMT-based Translation Validation for Machine Learning Compiler” has been accepted at CAV’22.
Education
- Ph.D. in Computer Science and Engineering, Seoul National University (2016. Mar ~ 2021. Aug)
- 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
- Compiler for homomorphic encryption
Awards, Activities and Experience
Publications
Blog Posts
- 2021 Oct 4. The select story