Jaemin Choi (최재민)

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

Contact

Education

Awards and Honors