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.



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