Upcoming Colloquia Presentations
Past Colloquia Presentations
Fall 2026 to Present
Prior to Fall 2026
Semantic Foundations for Live Programming Environments
Cyrus Omar
Postdoctoral Scholar, The University of Chicago
Johnson 226
Quality of Time: A New Perspective to Design Cyber-Physical Systems
Fatima Anwar
Ph.D. candidate, Electrical & Computer Engineering, UCLA
KEC 1005
Automated Support for Improving Software Quality Before and After Release
Mattia Fazzini
Ph.D. candidate, School of Computer Science, Georgia Institute of Technology
KEC 1007
Advancing Energy Testing of Android
Reyhaneh Jabbarvand
PhD Candidate, Donald Bren School of Information and Computer Sciences, University of California, Irvine
KEC 1005
Automated IoT Safety and Security Analysis
Berkay Celik
PhD candidate, Computer Science and Engineering, Pennsylvania State University
KEC 1007
Structured Approaches to Natural Language Understanding
Snigdha Chaturvedi
Assistant Professor, Department of Computer Science and Engineering, University of California, Santa Cruz
KEC 1007
Internet-connected and Insecure at All Speeds: Wireless Embedded Systems
Saurabh Bagchi
Professor, School of Electrical and Computer Engineering, Department of Computer Science, Purdue University
KEC 1007
Experiences in Hydropower
Sean Brosig
Electrical Engineer, USACE - Hydroelectric Design Center, Portland, OR
Weniger Hall 151
Towards Intelligent Agents That Can See, Talk, and Act
Stefan Lee
Research Scientist, School of Interactive Computing, Georgia Tech
KEC 1007
Bringing Powerful Machine-learning Systems to Daily-life Devices
Yingyan Lin
Assistant Professor, Department of Electrical and Computer Engineering, Rice University
Weniger Hall 151
Towards More Responsible Data-driven Decisions
Abolfazl Asudeh
Research Fellow, Computer Science and Engineering Department, University of Michigan, Ann Arbor
KEC 1007
Safe, Real-Time Software Architectures for Cyber-Physical Systems
Renato Mancuso
Assistant Professor, Computer Science Department, Boston University
KEC 1005
Empiricism-Informed Secure System Design: From Improving Passwords to Helping Domestic Violence Victims
Rahul Chatterjee
PhD Candidate, Cornell University
KEC 1007
A unified program synthesis framework for automating end-user programming tasks
Xinyu Wang
PhD Candidate, UT Austin
KEC 1007
Wildbook - Photographic Censusing of Wildlife
Jason Parham
Senior Computer Vision Research Engineer, Wild Me, Computer Science Ph.D. Candidate, Rensselaer Polytechnic Institute, Troy, NY
Weniger Hall 151
Modeling and Control for Robotic Assistants
Monroe D. Kennedy III
Ph.D. Candidate, Mechanical Engineering and Applied Mechanics, University of Pennsylvania
Rogers 226
The Challenge of Ant Sized Robots
Ryan St. Pierre
Post-Doctoral Researcher, Carnegie Mellon University
Rogers 226
Autonomous mobile systems: modelling, control and planning
Corina Barbalata
Postdoctoral Research Fellow, Naval Architecture and Marine Engineering Department, University of Michigan
Rogers 226
Robotics in the Real World: Developing Reliable Field-Robotic Systems via Mathematical Guarantees and In-Field Testing
Joshua Mangelson
Ph.D. Candidate in Robotics, University of Michigan
Rogers 226