Name: Probabilistic proofs: theory, hardware, and everything in between
Start: 2021-03-25T11:00:00-04:00
End: 2021-03-25T12:00:00-04:00
Location: Remote/Virtual

Mar 21

10:30 am - 11:30 am

Translating AI to Impact: Uncertainty and Human-agent Interactions in Multi-agent Systems for Public Health and Conservation

3725 Beyster Building 2260 Hayward Street, Ann Arbor

Event Details Get Directions

Events

Feedback Design Principles for Efficient and Reliable Robot Learning

Optimization and Learning in Energy Systems: Privacy and Performance

Perceiving Humans in 4D

Wireless Sensing for Ubiquitous Internet of Things

(Un)trustworthy Machine Learning: How to Balance Security, Accuracy, and Privacy

Integrated Bioelectronic Systems for Neuroscience and Healthcare: Materials, Electronics, and Computing

Distance-Estimation in Modern Graphs: Algorithms and Impossibility

A Hybrid Computing Ecosystem For Practical Quantum Advantage

Programming Distributed Systems

Optimal Feedback Control Architecture for Power Systems with High Penetration of Renewables

Robust IoT Communication and Sensing with Extreme Efficiency

Control of renewable-energy-dominated power systems

Learning to Re-create Reality in 3D

Learning 3D Modeling and Simulation From and For the Real World

The foundations of machine learning for feedback control

Expansion, Codes and Optimization at the Frontiers

Protecting User Privacy by Helping Developers

AI for Public Health: Epidemic Forecasting Through a Data-Centric Lens

The Design of a General-Purpose Distributed Execution System

Building a quantum internet with photons and electron spins

Next generation technologies for quantum computing and sensing

Intelligent Mobile Systems for Equitable Healthcare

Control Theory for Biological and Cyberphysical Systems

Quantum and Cryptography: Challenges and Opportunities

Privacy-Preserving Accountability Online

Pseudorandomness and Space Complexity: New Methods, New Insights, and New Milestones

Building Robust Systems Through System-Memory Co-Design

Empowering Users on Social Media for Better Content Credibility

Analyzing and Securing Software via Robust and Generalizable Learning

Theoretical Foundations and Design Methodologies for Cyber-Neural Systems: a Case Study in Epilepsy

Designing Provably Performant Networked Systems

Enabling Compositional Generalization of AI Systems

Reinforcement Learning from Static Datasets: Algorithms, Analysis and Applications

Looking Past the Abstractions: Characterizing Information Flow in Real-World Systems

Interactive and Grounded Language Learning

Building Sustainable Computational Materials

Socially Responsible and Factual Reasoning for Equitable AI Systems

Software and Architecture for Reliable Quantum Computing

Self-Supervised Reinforcement Learning

The Gale-Shapley Algorithm

Rethinking System Design for Expressive Cryptography

Fire! Sensing Smoke Across the US using Multiple Linear Regression

Binary Search Trees

Database Concepts

Teaching Demonstration (Hashtables)

Introduction to Dynamic Programming

First Look at Binary Search Trees

Prediction, Causality and the Great In-between

Faster, smarter, and greener systems for data-center scale AI

Learning to Generate Data by Estimating Gradients of the Data Distribution

Beyond ISAs: Striking a Balance between Generality and Specialization for AI/ML

Unleashing the Potential of In-Network Computing

Towards a Foundation for Reinforcement Learning

Machine Learning Powered Query Optimization

Optimizing CPU Efficiency and Tail Latency in Datacenters

Formal Verification of a Concurrent File System

Efficient and Accurate Systems for Querying Unstructured Data

Putting Your Database on Autopilot: Self-driving Database Management Systems

Translating AI to Impact: Uncertainty and Human-agent Interactions in Multi-agent Systems for Public Health and Conservation

From Specialists to Generalists: Inductive Biases of Deep Learning for Higher Level Cognition

Grounding Language by Seeing, Hearing, and Interacting

Consistency and Performance in Distributed Storage Systems

Towards Scalable Representation Learning for Visual Recognition

Advancing Quantum Science with Ytterbium Atom Arrays

Verifiable Machine Learning for Security

Emerging Optics from Structured Nanomaterials

Co-designing Distributed Systems and Storage Stacks for Improved Reliability

Processor Microarchitecture Security

The Complexity of Near-Term Quantum Computers

AI-powered Computational Imaging and Processing for Advancing Visualization and Perception in Biomedical Applications

Learning to address novel situations through human-robot collaboration

Empowering People to Have Secure and Private Interactions with Digital Technologies

Introduction to Data Science

Matching in Evolving Environments

Architecting Emerging Quantum Technologies

Advancing Sound Accessibility

Theoretical Foundations for Emerging Multiprocessor Hardware

Quantum Computation and Cryptography: a changing landscape

Computing Using Time