Name: Invited Speaker “Title and Abstract Forthcoming”
Start: 2025-04-17T15:30:00-04:00
End: 2025-04-17T16:30:00-04:00
Location: 1311 EECS Building

Jan 9

11:00 am - 1:00 pm

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

3941 Beyster Building 2260 Hayward Street, Ann Arbor

Event Details Get Directions

Events

ECE Tea Table

Introduction to Classes and Objects in Python

Virtual Michigan ECE Graduate Program Information Session (MS/MEng program information)

Predicting Pharmaceogenetic Variants Using DNA/RNA Foundation Models

ECE Graduation Celebration

Friday Night AI: AI vs. The Flu: Can Technology Predict and Prevent Epidemics?

Leveraging Compositional Structure for Reinforcement Learning and Decision Making Problems

Decarbonizing Power System: The Roles of Wind Power and Energy Storage in Phasing out Fossil Fuels

Enhancing Video Understanding Through Deep Generative Models and Task Comprehension

Electrical Engineering (EE) Group Declaration and Major Signing Day

Design of Flexible Domain-Specific Accelerators for Diverse and Dynamic Computation

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

Molecular Simulations for Chemical Foundation Models

Exploring the Effects of Memory Vulnerabilities Across the Computer Architecture Stack

2025 Winter ECE Student Headshots

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

Electrical Engineering (EE) Group Declaration and Major Signing Day

2025 Winter ECE Student Headshots

Learning Dense Visual Features for the Sun and Natural Scenes

Humanoid robotics technology and product iterations

High-Performance ADCs Using Floating Ring Amplifiers and Negative-C

ECE Alumni Resume Review

Grant Writing Support Drop-In Office Hours

Data-Aware Computing for Efficient Extended Reality Systems

Designing Complex Systems Using Assume-Guarantee Contracts

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

Low Noise Frequency Synthesis Techniques

Online Learning and Decision Making for Resource Allocation

Formally Verified Numerical Methods

Personal Assistive Technology

Computer Engineering (CE) Group Declaration and Major Signing Day

Electrical Engineering (EE) Minor Declaration Day

Understanding and Controlling the Interactions of Plasmas with Flames and Flowing Gases

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

How to make the gradient descent-ascent converge to local minimax optima

Women in Tech Panel: Working on Technology for the Future of AI

Optimizing Clinician and AI Collaborations to Support Timely Management of Acute Dyspnea

Learning-based Control for Large-scale Sustainable Energy Systems

ECE Mock Interviews

Declare ECE!

Talking about Teaching – Session 1: Using active learning

ECE Lunar New Year Celebration

Virtual Michigan ECE Graduate Program Information Session (must be a current U-M student)

Steering Machine Learning Ecosystems of Interacting Agents

Mixed Reality Security and Streaming at the System and Application Levels

Understanding Digital Literacy for Job Search for Formerly Incarcerated Individuals

Smoothing-enabled Zeroth-order Schemes for Stochastic Optimization Problems: Addressing Stochasticity, Nonsmoothness, Nonconvexity, and Hierarchy.