Haechan An (안해찬)

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.



  • (2025) M.S. in Computer Science. KAIST (expected).

  • (2023) B.S. in Computer Science. KAIST.