CIS Seminar: “Realizing the Promise of Language-level Security in Real Systems”
Promises are cheap. Software vendors routinely describe their offerings as “secure”, but few are based on designs that can guarantee even the most basic security properties. To address this problem, […]
CIS Seminar: “Learning Theoretic Foundations for Modern (Data) Science”
In this talk, I will explain how fundamental problems in computational learning theory are at the heart of modern problems in machine learning and scientific applications and how algorithmic insights […]
ESE Guest Seminar – “On Team Decision Problems with Nonclassical Information Structures”
Team theory is a mathematical formalism for decentralized stochastic control problems in which a “team,” consisting of a number of members, cooperates to achieve a common objective. It was developed […]
CIS Seminar: ” Specializing LLMs for Reliability”
Large language models (LLMs) have advanced the frontiers of AI reasoning: they can synthesize information from multiple sources, derive new conclusions, and explain those conclusions to their users. However, LLMs […]
CIS Seminar: “Efficient Probabilistically Checkable Proofs from High-Dimensional Expanders”
The PCP theorem, proved in the 90’s, shows how to encode a proof for any theorem into a format where the theorem’s correctness can be verified by making only a […]
CIS Seminar: “Bridging Informal and Formal AI Reasoning”
Neural language models have opened a fascinating, flexible platform for reasoning in mathematics, programming, and beyond. This talk will explore the intersection of these models and the rigor of formal […]
ASSET Seminar: Lydia Zakynthinou (UC Berkeley)
CIS Seminar: “Leveraging the Wisdom of Clouds for Internet Security”
Over the past decade, networked systems have consolidated under just a handful of hyperscale cloud providers (e.g., AWS, Azure). While this offers logistical and economic advantages, attackers specifically target providers […]
IDEAS/STAT Optimization Seminar: Jason Altschuler
Zoom link: https://upenn.zoom.us/j/98843354016
IDEAS/STAT Optimization Seminar: Angelia Nedich
Zoom link: https://upenn.zoom.us/j/98843354016