이호준(Hojune Lee)
KAIST B.S. in Computer Science and Mathematics
temp
Research Interests
Algorithm, Graphs, Lean with Dependent Type Theory, Formal Verification, Programming Language, Mathematics
Hobbies
Drum, Band Music, Writing, Swimming, Weight Training
CV
Download CV (PDF)
Links