Haechan An (안해찬)
I am Master’s student at KAIST School of Computing. The followings are my interests: Programming language theories including formal semantics, abstract interpretation, interactive theorem proving and concurrency; Building complex systems such as compilers in safe and usable languages like Rust; Additionally, applying learning-based techniques to the above area.
I’ve worked on building AI serving systems and AI-based automation of formal verification. Now, I’m starting a project on deep learning compilers.
Details of my experiences are at my personal webpage.
Contact
- Email: haechan.an@kaist.ac.kr
- GitHub: AnHaechan
- Bibliography: ORCID, DBLP, Google Scholar
- Place: Rm. 4432, Bldg. E3-1, KAIST (+82-42-350-7878)
Education
-
(2025) M.S. in Computer Science. KAIST (expected).
-
(2023) B.S. in Computer Science. KAIST.