Haechan An (안해찬)

I am Master’s student at KAIST School of Computing.

I’ve worked on building AI serving systems and AI-based automation of formal verification. Now, I’m working on AI compilers for NPU-PIM backends.

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.