Juneyoung Lee

Logo

View My GitHub Profile

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.

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

Interests

Awards, Activities and Experience

Publications

Education

Blog Posts