Kisoo Kim (김기수)

Kisoo Kim

I am an Undergraduate Student in KAIST Department of Mathematical Science and KAIST School of Computing.

I am interested in the formal verification across a wide range of topics, from computer systems to pure mathematics. Currently, I am studying the automation of formal verification by joining and working at Concurrency and Parallelism Laboratory.

Contact

Email: kisoo.kim@kaist.ac.kr
GitHub: cwlo2F
Bibliography: ORCID, DBLP, Google Scholar
Place: Rm. 4441, Bldg. E3-1, KAIST (+82-42-350-7878)

Education

(2024) B.S. in Mathematical Sciences and Computer Science. KAIST (expected).