Yeonwoo Nam (남연우)
I am a Undergraduate Student at KAIST department of Mathematical Sciences and School of Computing. I am interested in formal verification of concurrent systems.
Contact
-
Email: yeonwoo.nam@kaist.ac.kr
-
GitHub: Yeonwoo-Nam
-
Bibliography:
DBLP,
Google Scholar
-
Place:
Education
- (2022) B.S. in Mathematical Sciences & Computer Science. KAIST (expected).