Registered user since Fri 7 Apr 2023
Name:Juneyoung Lee
Affiliation:AWS
Personal website: https://aqjune.github.io
Research interests:Compiler, Cryptography, Software Verification
Contributions
Using general profile
FM 2026
Mon 18 - Fri 22 May 2026 Tokyo, Japan
- Attending
- Tracks
- Organization
- FM 2026 Committees
- Organizing Committee
- Track Committees
- Research Track
- TAP Track
- Doctoral Symposium
- Contributors
- People Index
- Search
- Series