Awards

Domestic Conference

[1] Journal of KIISE, Excellent paper award, 2022

• J. Yeon, S. Chae, and K. Bae, Layered Abstraction Technique for Effective Formal Verification of Deep Neural Networks

[2] Korea Software Congress (KSC), Best paper award, 2021

• J. Yeon, S. Chae, and K. Bae, Layered Abstraction for Formally Verifying Deep Neural Networks

Scholarship & Fellowship

[1] ETAPS 2024 Student Scholarship, 02.2024

• Awarded by ETAPS e.V. and University of Luxembourg

[2] Bang Seung-yang Graduate Fellowship, 2022

• Graduate fellowship awarded by Departement of Computer Science and Engineering, POSTECH

[3] Global Leadership Program (GLP), 03.2020, 09.2020

• Undergraduate scholarship for academic excellence awarded by Department of Computer Science and Engineering, POSTECH