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

Education