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).