Youngseok Choi (최영석)

November 15, 2022

Youngseok Choi

I am an Undergraduate Student at KAIST School of Computing and Department of Mathematical Sciences. Currently, I am studying and working on formal verification.

Contact

Email: youngseok.choi@kaist.ac.kr
GitHub: 3-24
Bibliography: DBLP, Google Scholar
Place: Rm. 4432, Bldg. E3-1, KAIST (+82-42-350-7878)

Education

(2023) B.S. in Computer Science. KAIST (expected).