Taewoo Kim (김태우)

Taewoo Kim

I am an Undergraduate Student at KAIST School of Computing. I’m interested in the design and verification of OSes or other concurrent systems, especially using Rust.

Contact

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

Education

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