Faculty Candidate Seminars

Towards Structured-Infused and Disentangled Representation Learning

New Compilation Techniques for Reconfigurable Analog Devices

Language Grounding with Robots

Harnessing Examples for Learning at Scale

Bending Fuzzers to One’s Own Will

Learning Spoken Language Through Vision

Auditing Outsourced Services

Rethinking Operating System and Hardware Abstractions for Good and Evil

Designing Collective Behavior in Robotic Swarms

Connecting Blockchains to the Real World

Automating Failure Diagnosis for Distributed Systems

Foundations of Optimizable Gradual Typing

Learning from Societal Data: Theory and Practice

Analyzing Programs in the Era of Software 2.0

Better Foundations for Secure Software: Minimize Trust and Verify It

Progressive Automated Formal Verification of Hardware and Software Systems

Algorithmic Paradigms for Dynamic Graphs

Scalability and Methods of Deep Learning from an Optimization Viewpoint

The Value Alignment Problem in Artificial Intelligence

Machine Learning for Accelerating Scientific Discovery

Towards Scalable and Reliable Architectures for Quantum Computing Platforms

Human-AI Systems for Visual Information Access

New Approaches to Real-Time Robotic Mapping and Information Gathering

Efficient Machine Learning via Data Summarization

Breaking and Building End-to-End Encrypted Systems