EECS Colloquia

Future Colloquia Presentations

No Events scheduled. Check again soon.

Past Colloquia Presentations

Advancing Energy Testing of Android

Reyhaneh Jabbarvand

KEC 1005

Automated IoT Safety and Security Analysis

Berkay Celik

KEC 1007

Structured Approaches to Natural Language Understanding

Snigdha Chaturvedi

KEC 1007

Internet-connected and Insecure at All Speeds: Wireless Embedded Systems

Saurabh Bagchi

KEC 1007

Automated Program Verification via Data-Driven Inference

He Zhu

KEC 1007

Towards Intelligent Agents That Can See, Talk, and Act

Stefan Lee

KEC 1007

Experiences in Hydropower

Sean Brosig

Weniger Hall 151

Bringing Powerful Machine-learning Systems to Daily-life Devices

Yingyan Lin

Weniger Hall 151

Towards More Responsible Data-driven Decisions

Abolfazl Asudeh

KEC 1007

Safe, Real-Time Software Architectures for Cyber-Physical Systems

Renato Mancuso

KEC 1005

Empiricism-Informed Secure System Design: From Improving Passwords to Helping Domestic Violence Victims

Rahul Chatterjee

KEC 1007

A unified program synthesis framework for automating end-user programming tasks

Xinyu Wang

KEC 1007

Wildbook - Photographic Censusing of Wildlife

Jason Parham

Weniger Hall 151

Modeling and Control for Robotic Assistants

Monroe D. Kennedy III

Rogers 226

The Challenge of Ant Sized Robots

Ryan St. Pierre

Rogers 226

Autonomous mobile systems: modelling, control and planning

Corina Barbalata

Rogers 226

Robotics in the Real World: Developing Reliable Field-Robotic Systems via Mathematical Guarantees and In-Field Testing

Joshua Mangelson

Rogers 226

Friends Don't Let Friends Deploy Black-Box Models: The Importance of Intelligibility in Machine Learning

Rich Caruana

Weniger Hall 151

Principles of Robustness in Biological and Bio-inspired Systems

Kaushik Jayaram

Rogers 226

Temporal Logic Robustness for General Signal Classes in Multi-Agent Systems

Houssam Abbas

Weniger Hall 151