Wonchan Lee
Wonchan Lee (이원찬/李源璨)

Research Associate,
ROSAEC(Research On Software Analysis for Error-free Computing) Center
Seoul National University
Room 215 Bldg 138, Seoul National University
1 Gwanak-ro Gwanak-gu Seoul 151-742, KOREA

Email:
Phone: +82-2-880-1532

Here is my CV.

Research Interests

I am interested in static analysis and verfication techniques for software safety and reliability. In particular, I have focused on abstract interpretation-based static analyses and learning-based verfication techniques.

Education

Publications

Talks

2012

Awards and Honors

Professional Activities

Additional Reviewer

Drumming

Extracurricular Activities

Valid XHTML 1.1 Valid CSS!