Seminar
Logical Analysis of Hybrid Systems
Event Location: NSH 1305Bio: André Platzer is an Assistant Professor in the Computer Science Department at Carnegie Mellon. Dr. Platzer developed the theory, practice, and applications of logical analysis and verification of hybrid systems, and he proved the very first completeness theorem for hybrid systems. He introduced compositional verification techniques and methods that can verify [...]
Don’t Always Ask, Don’t Always Tell: Judicious Mutual Modeling in Cooperative Multiagent Systems
Event Location: 1305 Newell Simon HallBio: Ed Durfee is a Professor of Computer Science and Engineering, and of Information, at the University of Michigan, where he has served on the faculty for over 20 years. His research focuses on developing representations and algorithms for multiagent planning, scheduling, and coordination, with applications that include cooperative robotics, [...]
STaC: Automated Adaptation of Strategic Guidance in Multiagent Coordination
Event Location: 1305 Newell Simon HallBio: Dr. Pedro Szekely is a Project Leader in USC/ISI and a Research Assistant Professor in USC’s Computer Science Department. He received his M.S. and Ph.D. degrees in Computer Science from Carnegie Mellon University in 1982 and 1987. Pedro has worked on user interfaces, multi-agent systems, and planning and scheduling. [...]
The social side of personal robots
Event Location: 1305 Newell Simon HallBio: Dr. Cynthia Breazeal is an Associate Professor of Media Arts and Sciences at the Massachusetts Institute of Technology where she founded and directs the Personal Robots Group at the Media Lab. She is a pioneer of social robotics and Human Robot Interaction. She has authored the book “Designing Sociable [...]
Tissue elasticity imaging for the simulation and guidance of percutaneous procedures
Event Location: NSH 1305Bio: Septimiu (Tim) E. Salcudean (S’78-M’-79-SM’03-F’05) received the B. Eng (Hons.) and M.Eng degrees from McGill University and the Ph.D. degree from U.C. Berkeley, all in Electrical Engineering. From 1986 to 1989, he was a Research Staff Member in the robotics group at the IBM T.J. Watson Research Center. He then joined [...]