Practical Verification of Distributed Systems: Streamlining Safety Proofs Using Invariant Taxonomies, and Verifying Latency Properties Using Symbolic Latency

NSF CISE: Where We Are and What We See on the Horizon

Exploring the Effects of Memory Vulnerabilities Across the Computer Architecture Stack

For all tomorrow’s survivors: Mitigating tech abuse via new approaches to computer security

Learning Dense Visual Features for the Sun and Natural Scenes

Humanoid robotics technology and product iterations

Data-Aware Computing for Efficient Extended Reality Systems

Sociolinguistic Competence Versus Artificial “Intelligence”: Variation in the Face of Ubiquitous Large Language Models

Formally Verified Numerical Methods

Personal Assistive Technology

Pareto-efficient AI systems: Expanding the quality and efficiency frontier of AI

Harnessing collaborative intelligence in the Post-LLM world

Steering Machine Learning Ecosystems of Interacting Agents

Mixed Reality Security and Streaming at the System and Application Levels

Understanding LLMs: How They Function and How They Have Changed

Understanding Digital Literacy for Job Search for Formerly Incarcerated Individuals

Adventures in Feature Space: Vector Similarity Measures for Machine Learning

Generative Computer Vision for the Physical World

AI & Aging: Innovations & Challenges for Global Health: an e-HAIL in-person conversation (a joint event with the AI Lab)

Where can quantum computers outperform classical computers?

Learning to Perceive the 4D World

Teaching Demonstration: What Should I Test? How to Think About and Select Test Inputs

Probabilistic Meta-Complexity

Understanding and Enhancing Deep Neural Networks with Automated Interpretability

Can AI Be Conscious, and Why Does It Matter?

Thinking Outside the GPU: Systems for Scalable Machine Learning Pipelines

Startup Talk by Pursuit Cofounder + Internship Opportunities

NLP @ Michigan Day

AI Careers and Research Panel

Learning, Reasoning, and Planning with Neuro-Symbolic Concepts

Tool-Use Robot Manipulation Tasks for Cooperative and Explainable Operations in Safety-Critical Domains

Streaming Sketching: Mathematical Theory and Practical Algorithms

Friday Night AI: Listening to the Wild: Can AI Help Us Understand Animal Communication?

The Computational Gauntlet of Human-Like Learning

From Agents to Optimization: User Interface Understanding and Generation

Building the Tools to Program a Quantum Computer

MIDAS AI in Science and Engineering Symposium

2025 AI in Science and Engineering Symposium

Increasing The Practicality Of Verification Using Incomplete Solutions

Privacy, Copyright, and Data Integrity: The Cascading Implications of Generative AI

Executable and Trustworthy Planning with Large Language Models

Algorithm-Hardware Co-design For Efficiency Optimization Of Machine Learning Workloads

MIDAS AI in Science and Engineering Symposium

2025 AI in Science and Engineering Symposium

Multisensory Dexterity for Robotics

Optimizing for Long-Term Vision in a Fast-Paced Research World

Enabling the next generation of post-secondary CS teachers

What Do Large Language Models Tell Us About Human Language?

Data-Driven Democracy Hackathon

Performance Interfaces for Systems Software and Hardware

Sublinear Algorithms and Quantum Computing

Unfairness Detection and Evaluation in Data-driven Decision-making Algorithms

Neural Operator for Scientific Computing

Security & Privacy through Programmable Cryptography, Compilers, and Verification

Aligning AI Agents with an Ideal

Ruben Villegas Guest Lecture

Developing Responsible AI Monitoring Technologies for Chronic Care

Milind Tambe Guest Lecture

Implications of Our Dependence on a Digital Ecosystem

2025 CSE Undergraduate Research Symposium