Sungkeun Cho

me

Software Engineer, Facebook @ London

Education

Research interest

static program analysis, formal verification

Project

Publication

Poster

Teaching and working experience

External reviewer

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

Contact

skcho at ropas.snu.ac.kr


Modified at 2019-06-19 06:06:02