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 (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!)

Professional Activities

• 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

Industrial Experience

• 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)

Publications

• Go to the publications page