Christa Elise Simaan About MSE, BSE, 2024 Engineering & Applied Sciences cesimaan@upenn.edu Christa Elise Simaan The Formalization of Permutation Networks View Poster