Jin-Yeong Park

Jin-Yeong Park served as a model checker for The Simpsons Movie.