Sungkeun Cho

me

PhD student, ROPAS Laboratory, Department of Computer Science and Engineering, Seoul National University

Education

Research interest

static program analysis, formal verification

Project

Publication

Poster

Teaching experience

External reviewer

PLDI'17, SAS'16, SOAP'15, APLAS'13, POPL'13, SAS'12, PEPM'12, SSV'11

Contact


Modified at 2017-07-31 10:07:28