Yun-Sik Park

Yun-Sik Park served as a model checker for The Simpsons Movie.