[Members] [Publications] [Projects] [Education]

Introduction

We study the principles of computing and the phenomena of software developments to understand how unreliable and insecure software is produced and threatening in our society. We aim to resolve these problems by developing techniques, tools, methodologies and pedagogies that enhance the ability of developers in testing and debugging software artifacts.

  • Location: 313 S4-1 bldg. Chungbuk National University, Chungdae-ro, Seowon-gu, Cheongju, Chungbuk, South Korea (28644)
  • Contact information: hongshin@cbnu.ac.kr
  • Video clips on our research

    • News

    Feb 1, 2024. SDEV lab will start out in CBNU at Mar 2024 (formerly, ARISE lab at HGU).

    Members

    Shin Hong 홍신
    Associate Professor, School of Computer Science, CBNU
    Ph.D in Computer Science, KAIST
    hongshin@gmail.com, https://hongshin.github.io
    315, S4-1, Gaesin Campus, Chungbuk National University

    Jeewoong Kim 김지웅
    Ph.D student
    Computer Science Department,
    Chungbuk National University
    jeewoong@cbnu.ac.kr, https://jeewoongkim.github.io

    Kieun Kim 김기은
    Master’s student
    Computer Science Department,
    Chungbuk National University
    kieun@cbnu.ac.kr

    Suhyun Park 박수현
    Master’s student (co-adivsed with Prof. Jaechang Nam)
    Handong Global University (HGU)
    suhyun@handong.ac.kr / https://coolgogi.github.io

    Sungbin Lim 임성빈
    Master’s student (co-adivsed with Prof. Jaechang Nam)
    Handong Global University (HGU)
    sungbin@handong.ac.kr