Jaemin Choi (최재민)

I am an Undergraduate Student at KAIST School of Computing. I am studying formal verification of concurrent systems.

Contact

• Email: jaemin.choi98@kaist.ac.kr
• GitHub: jh05013
• Bibliography: DBLP, Google Scholar
• Place: Rm. 4441, Bldg. E3-1, KAIST (+82-42-350-7878)

Education

• (2021) B.S. in Computer Science. KAIST (expected).

Awards and Honors

• 7th place, International Collegiate Programming Contest (ICPC) Seoul Regional, 2019.

• 4th place award, Samsung Collegiate Programming Cup (SCPC), 2019.