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