Ph.D. Student, PLRG Lab.

Computer Science Department

Korea Advanced Institute of Science and Technology

Research Interests

• Proof assistants and automated proof

• Formal specification of JavaScript

• Design and teaching of introductory computer science curricula

Education

Ph.D. in Computer Science, March 2015 - Present

Computer Science Department, KAIST

MS in Computer Science, March 2013 - February 2015

Computer Science Department, KAIST

BS in Computer Science, Feburary 2009 - Feburary 2013

(Double Major in Mathematical Science)

Computer Science Department, KAIST

Publications

International Publications

• SungGyeong Bae, Hyunghun Cho, Inho Lim, and Sukyoung Ryu, “SAFE_WAPI: Web API Misuse Detector for Web Applications,” Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE), November 2014.

Domestic Publications

• 배성경, 류석영, “Coq을 이용한 이분 그래프의 표현 (Representation of Bipartite Graphs in Coq)”, in 한국정보과학회 2011 가을 학술발표논문집 제 38권 제 2호, 2011, pp. 361-364.

Presentations

• SungGyeong Bae, Hyunghun Cho, and Sukyoung Ryu, “Web API Misuse Detection in JavaScript Web Applications”, in 11th Asian Symposium on Programming Languages and Systems (APLAS13, Poster session), 2013