Juneyoung Lee (이준영), Ph.D.
I’m a research engineer at CryptoLab,
a pioneering company for developing homomorphic encryption frameworks.
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
and participated in developing Alive2 (online), an automatic optimization validator (pull requests).
- 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)
- Programming languages, compiler verification (esp. translation validation)
- Theorem proving using SMT solvers and interactive theorem provers
- Homomorphic encryption (new!)
- Talk, “Undef and Poison: Present and Future”, The 2020 Virtual LLVM Developers’ Meeting, Keynote Talk (link)
- Talk, “Safely Optimizing Casts between Pointers and Integers”: 2019 European LLVM developers’ meeting, Student Research Competition, Second Prize
- Artifact Evaluation Committee, CAV 2020
- Sep, 2021 ~ now: Research engineer, CryptoLab.
- I’m serving a mandatory military service by working for this company as well (~ Aug, 2022).
- If you are interested in working with CryptoLab, please feel free to send a mail to me!
- May ~ Aug, 2019 : Intern, Program Analysis Team at Apple (Cupertino).
- Feb ~ Apr, 2018 : Research intern, Programming Principles and Tools Group at Microsoft Research (Cambridge, UK).
Awards and Honors
- 2021 College of Engineering, SNU, Best Thesis Award
- 2019 European LLVM developers’ meeting, Student Research Competition, Second Prize
- 2017 Mar – 2021. Aug. Graduate Student Scholarship. Korea Foundation for Advanced Studies.
- 2012 ACM International Collegiate Programming Contest (ICPC) Regional Contest Daejeon, 5th place (team name DIPLOMATICS, link)