Jaemin Choi (최재민)

Jaemin Choi

I was a Master Student at KAIST School of Computing. I studied formal verification of concurrent systems - in particular, I worked on formal verification of concurrent real-world programs.



  • (2023) M.S. student in Computer Science. KAIST (supervisor: Prof. Jeehoon Kang).

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


Awards and Honors

  • 2nd place (by ICPC rules), International Collegiate Programming Contest (ICPC) Seoul Regional, 2020.

  • 3rd place award, Samsung Collegiate Programming Cup (SCPC), 2020.