MSE Seminar: “Kagome Metals and Their Unusual Electronic Properties”

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

In this talk, I will discuss new inroads in the study of electronic order within classes of metals built from kagome lattices or networks of corner sharing triangles.  The electronic […]

PICS Colloquium with Daniel Tartakovsky: Information Theory of Multiscale Simulations

PICS Conference Room 534 - A Wing , 5th Floor 3401 Walnut Street, Philadelphia, PA, United States

We present an information-theoretic approach for integration of multi-resolution data into multiscale simulations.  Fine-scale information can comprise observational data and/or simulation results related to both system states and system parameters. […]

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 […]