Juneyoung Lee (이준영, June Lee), Ph.D.
I am a Senior Applied Scientist at Automated Reasoning Group in AWS (Austin, TX). I work on writing a provably correct code that is also fast.
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)
- Google scholar: link
News
- Apr. 2, 2025: A paper “Relational Hoare Logic for Realistically Modelled Machine Code” was accepted to CAV’25!
- Apr. 2, 2025: A paper “Optimization-Directed Compiler Fuzzing for Continuous Translation Validation” was accepted to PLDI’25!
- Sep. 17, 2024: I will serve as a Review Committee member of OOPSLA’25.
- Aug. 8, 2024: My work was published as an Amazon Science blog post (link).
Interests
- Programming languages, compiler verification
- Theorem proving using SMT solvers and interactive theorem provers
- 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