CITRIS People and Robots Seminar Series

Initiative-Icons-2016_CPAR - lockup

The CITRIS People and Robots Initiative hosts a weekly seminar series every Monday afternoon jointly with UC Berkeley’s “Design of Robotics and Embedded systems, Analysis, and Modeling” Seminars (DREAMS). Seminars will be held in room 250 Sutardja Dai Hall on Mondays from 4-5 PM and available online via webcast

Live Webcast


Spring 2017 Schedule

Date

Speakers Affiliation Time Location Video

Postponed

Ioannis Paschalidis: Data-Driven Price-of-Anarchy Estimation in Transportation Networks Boston University 10-11am 380, Soda Hall, UC Berkeley N/A

Feb. 13

Julie Shah: Enhancing Human Capability with Intelligent Machine Teammates Massachusetts Institute of Technology 4-5pm 250, Sutardja Dai Hall, UC Berkeley

Feb. 24

Marjan SirjaniCan We Trust Self-Driving Cars? Adaptive Timed Actors for building Dependable CyberPhysical Systems Mälardalen University 2-3pm 540, Cory Hall, UC Berkeley N/A

Feb. 27

Rajeev Joshi: The Bugs that went to Mars and Terrorized Earth NASA Jet Propulsion Laboratory 4-5pm 250, Sutardja Dai Hall, UC Berkeley

Mar. 3

Brian Lathrop: 3 + 1 – An HMI Design Framework for Autonomous Vehicles Volkswagen of America, Electronics Research Lab 2-3pm 540 Cory Hall, UC Berkeley N/A

Mar. 6

Clark Barrett: Automatic discovery and localization of tough bugs in large SoCs using formal-enhanced quick error detection Stanford University & Google 4-5pm 250, Sutardja Dai Hall, UC Berkeley

Mar. 13

Sergey Levine: Deep Robotic Learning University of California, Berkeley 4-5pm 250, Sutardja Dai Hall, UC Berkeley

Mar. 20

Stanley Osher: Overcoming the Curse of Dimensionality for Hamilton-Jacobi equations with Applications to Control and Differential Games University of California, Los Angeles 4-5pm 250, Sutardja Dai Hall, UC Berkeley

Apr. 3

Tim Salcudean: Ultrasound and ultrasound-mediated image guidance for robot assisted surgery University of British Columbia 4-5pm 250, Sutardja Dai Hall, UC Berkeley

Apr. 10

Parvez AhammadML for web application security: Reconciling two competing
philosophies
Instart Logic 4-5pm 250, Sutardja Dai Hall, UC Berkeley

Apr. 17

Steven Shladover: Road Vehicle Automation: History, Opportunities, and Challenges University of California, Berkeley 4-5pm 250, Sutardja Dai Hall, UC Berkeley

Apr. 24

Necmiye Ozay: Control Synthesis for Large Collections of Dynamical Systems with Counting Constraints University of Michigan 4-5pm 250, Sutardja Dai Hall, UC Berkeley N/A

May 12

Loris D'Antoni: Adventures in Program Repair University of Wisconsin-Madison 10am-12pm 540, Cory Hall, UC Berkeley N/A

May 12

Mark Ho: How People Intentionally Teach Agents in Interactive Settings Brown University 1pm-2pm 540, Cory Hall, UC Berkeley N/A

 

Fall 2016 Schedule

Date

Speakers Affiliation Time Location Video

Aug. 22

Alessandro AbateData-driven and model-based quantitative verification and correct-by-design synthesis of CPS University of Oxford 4-5pm 250, Sutardja Dai Hall, UC Berkeley

Aug 29

Mykel Kochenderfer: Building Trust in Decision Support Systems for Aerospace Stanford University 4-5pm 250, Sutardja Dai Hall, UC Berkeley N/A

Sep 12

Mark Mueller: Multicopter dynamics and control: surviving the complete loss of multiple actuators and quickly generating trajectories University of California, Berkeley 4-5pm 250, Sutardja Dai Hall, UC Berkeley

Sep 19

Joao Hespanha: Opportunities and Challenges in Control Systems arising from Ubiquitous Communication and Computation University of California, Santa Barbara 4-5pm 250, Sutardja Dai Hall, UC Berkeley

Sep 22

Tom Henzinger: The Quest for Average Response Time IST Austria 4-5pm 250, Sutardja Dai Hall, UC Berkeley N/A

Sep 26

Meeko Oishi: Collaborative control for human-in-the-loop systems: Optimal interface design and reachability-based collaborative navigation University of New Mexico 4-5pm 250, Sutardja Dai Hall, UC Berkeley

Sep 29

Arthur Krener: Adaptive Horizon Model Predictive Control University of California, Davis 4-5pm 250, Sutardja Dai Hall, UC Berkeley N/A

Oct 04

Marilena Vendittelli: Interaction force reconstruction for humanoid robots Sapienza University of Rome 3-4pm 730, Sutardja Dai Hall, UC Berkeley N/A

Oct 10

Aws Albarghouthi: Proving that Programs do not Discriminate University of Wisconsin-Madison 4-5pm 250, Sutardja Dai Hall, UC Berkeley

Oct 17

Tom Griffiths: Bounded optimality and human cognition University of California, Berkeley 4-5pm 250, Sutardja Dai Hall, UC Berkeley

Oct 24

Nancy Amato: Sampling-Based Motion Planning: From Intelligent CAD to Crowd Simulation to Protein Folding Texas A&M University 4-5pm 250, Sutardja Dai Hall, UC Berkeley

Oct 26

Subramanian RamamoorthyUnderstanding Others: Robot Learning in Interactions University of Edinburgh 2-3pm 250, Sutardja Dai Hall, UC Berkeley N/A

Nov 07

Ian Mitchell: Using Model Checking Verifications at Runtime: The Proof is only Half the Battle University of British Columbia 4-5pm 250, Sutardja Dai Hall, UC Berkeley

Nov 08

Marta Kwiatkowska: Using Model Checking Verifications at Runtime: The Proof is only Half the Battle University of Oxford 4-5pm 540, Cory Hall, UC Berkeley

Nov 14

Marco Pavone: Safety Verification of Deep Neural Networks Stanford University 4-5pm 250, Sutardja Dai Hall, UC Berkeley

Nov 21

Hamsa Balakrishnan: Dealing with Delays Or: How I Learned to Stop Worrying And Love Air Travel Massachusetts Institute of Technology 4-5pm 250, Sutardja Dai Hall, UC Berkeley

Nov 28

Karl Johansson: Optimizing cooperative driving for goods transportation KTH Royal Institute of Technology 3-4pm 250, Sutardja Dai Hall, UC Berkeley

Dec 05

Yon Visell: Engineering Touch University of California, Santa Barbara 4-5pm 250, Sutardja Dai Hall, UC Berkeley

Archived Presentations:

Archived presentations: Fall 2016

Archived presentations: Spring 2016

Archived presentations: Fall 2015


Join our mailing list to receive event announcements.

Questions or comments will be collected on Twitter with the #cpar hashtag during presentations.