Jaemin Choi (최재민)

I am a Master Student at KAIST School of Computing. I am studying formal verification of concurrent systems.

Contact

Education

Awards and Honors