Stephanie Weirich was honored with SIGPLAN’s Distinguished Service Award in recognition of her sustained and far-reaching contributions to the programming languages community. This recognition follows another major milestone: Stephanie was also named a 2025 ACM Fellow, honored “for contributions to static type systems and mechanized mathematics of programming languages.” Together, Read more
It is a great honor to receive the Knuth Prize. I feel so grateful to the wonderful support I have received from everyone in CIS and Penn Engineering over the years, and the collaboration with our faculty and students has been incredibly valuable to me. My research is focused on Read more
Assistant Professor Gushu Li has been honored with the prestigious NSF Career Award, signaling a groundbreaking venture into the world of quantum computing. The central challenge Gushu is tackling revolves around creating programming systems that can support larger-scale quantum computers. Imagine our current systems as tailor-made for small prototypes, limiting Read more