Juneyoung Lee (이준영, June Lee), Ph.D.
I am an Applied Scientist at Automated Reasoning Group in AWS (Austin, TX). I work on writing provably correct code that is also fast.
Previously, I was a research engineer CryptoLab, a pioneering company for developing homomorphic encryption frameworks.
I also fulfilled my military service in an alternative form by working for this company.
I received Ph.D. from Software Foundations Lab,
Seoul National University in August, 2021.
E-mail: lebjuney@amazon.com, aqjune@gmail.com (personal), juneyoung.lee@sf.snu.ac.kr (old)
News
- Mar. 26, 2024: I will serve as a PC member of VSTTE’24 and AEC member of AVTA’24.
- Dec. 25, 2023: ‘Translation Validation for JIT Compiler in the V8 JavaScript Engine’ has been accepted at ICSE’24.
Interests
- Programming languages, compiler verification (esp. translation validation)
- Theorem proving using SMT solvers and interactive theorem provers
- Compiler for homomorphic encryption
- Verification of cryptographic libraries
Awards, Activities and Experience
Publications
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)
Blog Posts
- 2021 Oct 4. The select story