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 (https://alive2.llvm.org), an automatic optimization validator (pull requests).