CIS Seminar: “Scaling Machine-Checkable Systems Verification in Coq”

Wu and Chen Auditorium (Room 101), Levine Hall 3330 Walnut Street, Philadelphia, PA, United States

System software like operating systems and hypervisors forms the critical backbone of our computing infrastructure. However, due to their size and complexity, these systems often contain vulnerabilities that can compromise […]

ASSET Seminar: “Advancing Diffusion Models for Text Generation”

Raisler Lounge (Room 225), Towne Building 220 South 33rd Street, Philadelphia, PA, United States

Abstract: Transformer-based language models have undoubtedly become the dominant and favorite architecture for language generation of our time. However, although they provide impressive text quality, they tend to be hard […]

MSE Seminar: “Quantum Materials: A View from the Lattice”

Wu & Chen Auditorium

Connecting theoretical models for exotic quantum states to real materials is a key goal in quantum materials science.  The structure of the crystalline lattice plays a foundational role in this […]

Fall 2024 GRASP on Robotics: Tess Smidt, Massachusetts Institute of Technology, “Recent applications of Euclidean neural networks to understand and design atomistic systems”

Wu and Chen Auditorium (Room 101), Levine Hall 3330 Walnut Street, Philadelphia, PA, United States

This will be a hybrid event with in-person attendance in Wu and Chen and virtual attendance on Zoom. ABSTRACT Atomic systems (molecules, crystals, proteins, etc.) are naturally represented by a […]

BE Doctoral Dissertation Defense: “Spectral CT thermometry for real-time, non-invasive temperature monitoring of thermal ablation” (Leening Liu)

JMB Reunion Auditorium 3620 Hamilton Walk, Philadelphia, PA, United States

The Department of Bioengineering at the University of Pennsylvania and Dr. Peter Noel are pleased to announce the Doctoral Dissertation Defense of Leening Liu. Title: Spectral CT thermometry for real-time, non-invasive temperature […]

MEAM Seminar: “Multifunctional Architected Structures”

Wu and Chen Auditorium (Room 101), Levine Hall 3330 Walnut Street, Philadelphia, PA, United States

Funicular structural forms maximize the structural performance and minimize the use of materials by carrying the applied loads in the form of pure tensile/compressive axial forces. The internal structure of […]