Main

Scalable Equilibrium Computation in Multi-player Extensive-form Games

Computational game theory studies optimal decision making in multi-agent interactions ("games") under imperfect information and strategic behavior. While much work in the past has focused on solving decision-making problems in which all agents act once and simultaneously, I will focus on the more realistic case in which each agent faces a tree-form decision problem with potentially multiple acting points and partial observations about the environment ("extensive-form games").

Leveraging Human Input to Enable Robust AI Systems

In this talk I will discuss recent progress towards using human input to enable safe and robust autonomous systems. Much work on robust machine learning and control seeks to be resilient to, or completely remove the need for, human input. By contrast, my research seeks to directly and efficiently incorporate human input into the study of robust AI systems. One problem that arises when robots and other AI systems learn from human input is that there is often a large amount of uncertainty over the human's true intent and the corresponding desired robot behavior.

Data Dialogue: Early Career Perspectives on Data Science in Industry

This talk will focus on what new graduates entering into industry in fields related to data science may experience as they transition from academia. Focusing on Dr. Sidle's first few years after graduate school, we will discuss the wide variety of working environments early data scientists can be faced with. This presentation highlights the unexpected parts of working in industry, including the challenges of DevOps, data engineering, and implementing explainable machine learning.

Squashing Bugs and Empowering Programmers with User-Centered Programming Language Design

Programming languages are simultaneously formal systems and user interfaces with which programmers work. Unfortunately, programmers have a hard time writing safe software: serious bugs and security vulnerabilities are common. In many cases, however, languages with strong safety guarantees have been hard to use. In this talk, I'll discuss user-centered design methods I developed to help language designers create languages that are easier to use.

Pages