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: DBLP, Google Scholar
• Place: Rm. 4441, Bldg. E3-1, KAIST (+82-42-350-7878)

Education

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