Ph.D student @POSTECH. Majoring in Software Verification, specifically NN verification