Penn Engineering Events
  1. Events
  2. CIS

Events Search and Views Navigation

Event Views Navigation

Today

ASSET Seminar: What makes learning to control easy or hard?, Nikolai Matni (University of Pennsylvania)

Levine 307 3330 Walnut Street, Philadelphia, PA

Presentation Abstract: Designing autonomous systems that are simultaneously high-performing, adaptive, and provably safe remains an open problem.  In this talk, we will argue that in order to meet this goal, new theoretical and algorithmic tools are needed that blend the stability, robustness, and safety guarantees of robust control with the flexibility, adaptability, and performance of […]

ASSET Seminar: The marriage of logic and learning: will it be a happily ever after?, Jyotirmoy Deshmukh (University of Southern California)

Levine 307 3330 Walnut Street, Philadelphia, PA

Presentation Abstract: Huge strides have made in the widespread adoption of autonomous and human-in-the-loop cyber-physical systems (CPS), partly fueled by dramatic improvements in learning-based techniques. An important aspect of such CPS applications is that they are safety-critical: any undesirable behavior by such systems can cause serious harm to human lives or property. The formal methods […]

CIS Seminar: “Proofs, Cryptography and Quantum Information”

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

Many cryptographic protocols will be rendered insecure if sufficiently powerful quantum computers are built. While this remains at least a few decades away, there is another, more immediate, problem: many widely-used security analysis techniques rely on properties of classical information that do not hold in the quantum setting, rendering the security of many schemes unclear […]

ASSET Seminar: Using Large Language Models to Build Explainable Classifiers, Chris Callison-Burch (University of Pennsylvania)

Levine 307 3330 Walnut Street, Philadelphia, PA

ABSTRACT: I'll present research on using large language models (LLMs) to build explainable classifiers.   I will show off work from my PhD students and collaborators on several recent research directions: Image classification with explainable features  (https://arxiv.org/abs/2211.11158) Text classification with explainable features (work in progress) The importance of faithfulness in explanations (https://arxiv.org/abs/2209.11326) (Time permitting) A […]

CIS Seminar: “Software Security Challenges in the Era of Modern Hardware”

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

Today’s hardware cannot keep secrets. Indeed, the past two decades have seen the discovery of a slew of attacks where an adversary exploits hardware features to leak software’s sensitive data. These attacks have shaken the foundations of computer security and caused a major disruption in the software industry. Fortunately, there has been a saving grace, namely the widespread adoption […]

CIS Seminar: “Rethinking System Design for Expressive Cryptography”

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

Expressive cryptography, including Secure Multi-Party Computation (SMPC) and Fully Homomorphic Encryption (FHE), has the potential to enable transformative new applications, drawing significant interest from industry. Unfortunately, it is often slow and resource-intensive, making those applications difficult to realize. For example, SMPC enables multiple organizations (e.g., hospitals) to run joint computations on their data (e.g., for […]

ASSET Seminar: Decision-Aware Learning for Global Health Supply Chains, Osbert Bastani (University of Pennsylvania)

Levine 307 3330 Walnut Street, Philadelphia, PA

Abstract: Machine learning algorithms are increasingly used in conjunction with optimization to guide decision making. A key challenge is aligning the machine learning loss with the decision-making loss. Existing solutions have limited flexibility and/or scale poorly to large datasets. We propose a principled decision-aware learning algorithm that uses a Taylor expansion of the optimal decision […]

CIS Seminar: “Methods of Data Lookup with Hashing”

Levine 307 3330 Walnut Street, Philadelphia, PA

We will discuss methods of data lookup, with a focus on hash sets / tables, including motivation, properties, and variants. This will be in the context of a "CS 2" or data structures course. We will assume a basic familiarity with programming and comfort with implementing resizable lists; as well as knowledge of (but not […]

CIS Seminar: “Birds of a Feather Flock Together: How Homophily Leads to Segregation, Inequality, and Inefficiency and What We Can Do About It”

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

Humans exhibit a strong tendency to associate with those similar to them. This tendency, termed homophily in the social sciences, impacts both the structure of society and its outcomes. In this talk, Nicole Immorlica discusses the mathematics of homophily. She first quantifies its theoretical implications for geographic segregation. We will see that even tolerant societies […]

CIS Seminar: “Secure Computation with Minimal Interaction”

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

In the current digital and decentralized world, there is an imminent need for technologies that can provide a fast approach to compute on private data while guaranteeing secrecy. Secure Multiparty Computation (MPC) is one such cryptographic technology that provides an efficient approach to compute on private data. At a high level, MPC is a distributed […]