Name:Seunghyun Chae

Country:South Korea

Affiliation:Pohang University of Science and Technology (POSTECH)

Research interests:Neural network verification, Formal methods