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
Quality of Time: A New Perspective to Design Cyber-Physical Systems
Fatima Anwar
Ph.D. candidate, Electrical & Computer Engineering, UCLA
Automated Support for Improving Software Quality Before and After Release
Mattia Fazzini
Ph.D. candidate, School of Computer Science, Georgia Institute of Technology
Advancing Energy Testing of Android
Reyhaneh Jabbarvand
PhD Candidate, Donald Bren School of Information and Computer Sciences, University of California, Irvine
Automated IoT Safety and Security Analysis
Berkay Celik
PhD candidate, Computer Science and Engineering, Pennsylvania State University
Structured Approaches to Natural Language Understanding
Snigdha Chaturvedi
Assistant Professor, Department of Computer Science and Engineering, University of California, Santa Cruz
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
Experiences in Hydropower
Sean Brosig
Electrical Engineer, USACE - Hydroelectric Design Center, Portland, OR
Towards Intelligent Agents That Can See, Talk, and Act
Stefan Lee
Research Scientist, School of Interactive Computing, Georgia Tech
Bringing Powerful Machine-learning Systems to Daily-life Devices
Yingyan Lin
Assistant Professor, Department of Electrical and Computer Engineering, Rice University
Towards More Responsible Data-driven Decisions
Abolfazl Asudeh
Research Fellow, Computer Science and Engineering Department, University of Michigan, Ann Arbor
Safe, Real-Time Software Architectures for Cyber-Physical Systems
Renato Mancuso
Assistant Professor, Computer Science Department, Boston University
Empiricism-Informed Secure System Design: From Improving Passwords to Helping Domestic Violence Victims
Rahul Chatterjee
PhD Candidate, Cornell University
A unified program synthesis framework for automating end-user programming tasks
Xinyu Wang
PhD Candidate, UT Austin
Wildbook - Photographic Censusing of Wildlife
Jason Parham
Senior Computer Vision Research Engineer, Wild Me, Computer Science Ph.D. Candidate, Rensselaer Polytechnic Institute, Troy, NY
Modeling and Control for Robotic Assistants
Monroe D. Kennedy III
Ph.D. Candidate, Mechanical Engineering and Applied Mechanics, University of Pennsylvania
The Challenge of Ant Sized Robots
Ryan St. Pierre
Post-Doctoral Researcher, Carnegie Mellon University
Autonomous mobile systems: modelling, control and planning
Corina Barbalata
Postdoctoral Research Fellow, Naval Architecture and Marine Engineering Department, University of Michigan
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