Fellow of the Centre for Advanced Study in Bioethics
University of Münster

Dr. Jörg Hardy is Fellow at the Centre for Advanced Study in Bioethics, University of Münster, Germany, Senior Lecturer at the Free University of Berlin and Executive Director of the "Fund Raising Agency Hardy". His research is on Logical Theory, the Philosophy of Mind, Mind-Machine Interfaces, Epistemology, Ethics, and Ancient Philosophy. Dr. Hardy has published four books, and he currently writes a monograph on "Autononmy and Dignity".

Cecilia Fitler Moore Professor
Director of PRECISE Center
Computer and Information Science
University of Pennsylvania

Dr. Insup Lee is the Cecilia Fitler Moore Professor in the Department of Computer and Information Science and Director of PRECISE Center at the University of Pennsylvania. He also holds a secondary appointment in the Department of Electrical and Systems Engineering. His research interests include cyber-physical systems, real-time and embedded systems, runtime assurance and verification, formal methods and tools, trust management, and high-confidence medical systems. The theme of his research activities is to assure and improve the correctness, safety, and timeliness of life-critical embedded systems. He is a fellow of IEEE and received IEEE TC-RTS Outstanding Technical Achievement and Leadership Award in 2008.

Assistant Professor
Research and Engineering Center for Unmanned Vehicles (RECUV)
University of Colorado Boulder

Dr. Nisar Ahmed is an assistant professor of Aerospace Engineering Science at the University of Colorado Boulder, where he directs the Cooperative Human-Robot Intelligence (COHRINT) Laboratory and is a member of the Research and Engineering Center for Unmanned Vehicles (RECUV). His research interests are in modeling, intelligent control and information fusion for dynamical systems featuring human-autonomous robot interaction and heterogeneous sensor networks. He completed his Ph.D. in Mechanical Engineering at Cornell University in 2012 and from 2012-2014 was a postdoctoral research associate in the Cornell Autonomous Systems Lab (ASL). He received the ASEE Air Force Summer Faculty Fellowship in 2014, and has organized several workshops, including the RSS 2014 Workshop on Distributed Control and Estimation for Robotic Vehicle Networks and the AAAI 2015 Fall Symposium on Self-Confidence in Autonomous Systems. He is a member of IEEE and an Associate Member of the AIAA Intelligent Systems Technical Committee.

Professor
Computer Science and Engineering
University of Michigan

Dr. Benjamin Kuipers joined the University of Michigan in January 2009 as Professor of Computer Science and Engineering. Prior to that, he held an endowed Professorship in Computer Sciences at the University of Texas at Austin. He received his B.A. from Swarthmore College, and his Ph.D. from MIT. He investigates the representation of commonsense and expert knowledge, with particular emphasis on the effective use of incomplete knowledge. His research accomplishments include developing the TOUR model of spatial knowledge in the cognitive map, the QSIM algorithm for qualitative simulation, the Algernon system for knowledge representation, and the Spatial Semantic Hierarchy model of knowledge for robot exploration and mapping. He has served as Department Chair at UT Austin, and is a Fellow of AAAI, IEEE, and AAAS.

Executive Director of Interaction Design Research
Center for Design Research
Stanford University

Associate Professor
Graduate Program in Design
California College of the Arts

Dr. Wendy Ju is Executive Director for Interaction Design Research at the Center for Design Research at Stanford University, and Associate Professor of Interaction Design in the Design MFA program at California College of the Arts. Her work in the areas of human-robot interaction and automated vehicle interfaces highlights the ways that interactive devices can communicate and engage people without interrupting or intruding. She has innovated numerous methods for early-stage prototyping of automated systems to understand how people will respond to systems before the systems are built. She has a PhD in Mechanical Engineering from Stanford, and a Master’s in Media Arts and Sciences from MIT. Her monograph on The Design of Implicit Interactions was published in 2015.

Research Eng., V&V of Autonomous Systems
Aerospace Systems Directorate
Air Force Research Laboratory

Laura Humphrey received her Ph.D. in Electrical and Computer Engineering from the Ohio State University in 2009, where she studied biomechanics and robotic control systems. After graduating, she began work as a Research Engineer in the Aerospace Systems Directorate of the Air Force Research Laboratory (AFRL/RQ) at Wright-Patterson Air Force Base, where her original focus was on autonomous cooperative control of multiple unmanned aerial vehicles. She then additionally became interested in problems related to verification and validation of autonomous systems, as well as human supervisory control of multi-vehicle systems. Her research interests include formal methods for system specification, design, and verification; model-based design and automated synthesis of "correct-by-construction" designs; and human-automation interaction and human trust in automation, especially in the context of multi-vehicle mission planning systems. She is an active member of IEEE and AIAA.

Assistant Professor
Aerospace Engineering and Engineering Mechanics
University of Texas at Austin

Dr. Topcu joined the Department of Aerospace Engineering and Engineering Mechanics at The University of Texas at Austin as an assistant professor in Fall 2015. He received his Ph.D. degree from the University of California at Berkeley in 2008. Before joining The University of Texas, he was with the Department of Electrical and Systems Engineering at the University of Pennsylvania. He was a postdoctoral scholar at California Institute of Technology until 2012. His research is on the design and verification of autonomous, networked systems. The central question in his research is how we can build provably correct, protocol-based control systems. He currently focuses on technical challenges due to (i) heterogeneity in models, specifications, and uncertainties; (ii) interfacing with human operators and learning modules; (iii) scalability of the tools; and (iv) abundance or lack of information during execution.

Assistant Professor
Electrical Engineering and Computer Science
University of Michigan

Dr. Necmiye Ozay received her Ph.D. in Electrical Engineering from Northeastern University, Boston, MA in 2010. Between 2010 and 2013, she was a Control and Dynamical Systems postdoctoral scholar at the Department of Computing and Mathematical Sciences at California Institute of Technology, Pasadena, CA. Currently, She is an assistant professor of Electrical Engineering and Computer Science at the University of Michigan, Ann Arbor, MI. Her research interests include dynamical systems, control, optimization and formal methods with applications in cyber-physical systems, system identification, verification and validation, and autonomy and vision. Her papers received several awards including an IEEE Control Systems Society Conference on Decision and Control Best Student Paper Award in 2008. She received a DARPA Young Faculty Award in 2014 and an NSF CAREER Award in 2016. She was selected as an Outstanding Reviewer of the IEEE Transactions on Automatic Control in 2011.

Assistant Professor
Electrical Engineering and Computer Science
University of California, Berkeley

Dr. Anca Dragan is an Assistant Professor in the EECS Department at UC Berkeley. She is starting the InterACT Lab: Interactive Autonomy and Collaborative Technologies. Previously, she was a PhD student at Carnegie Mellon's Robotics Institute and a member of the Personal Robotics Lab. Her research interests are in algorithmic human-robot interaction, and lie at the intersection of robotics, machine learning, and HCI. Her goal is to enable robots to work with and around people, and she employs techniques from optimal control, manipulation, Bayesian inference, and cognitive science to do so.

Senior Lecturer (equivalent to associate professor in the North American system)
Department of Computer Science
University of Liverpool

Dr. Clare Dixon received her Ph.D. in Computer Science from the University of Manchester in 1995. She joined the Department of Computing and Mathematics at the Manchester Metropolitan University in 1995, as a Research Fellow on the project Proof Methods for Temporal Logics of Knowledge and Belief. She was appointed as a Senior Research Fellow (also known as a Research Lecturer) in 1997. She was appointed lecturer in the Department of Computer Science at the University of Liverpool in 2001. She was promoted to senior lecturer in October 2004. Her research interests include verification of robot and autonomous systems, specification and verification of systems, theorem-proving for temporal and modal and agent logics. She is a member and the group leader for the Robotics and Autonomous Systems research group and a member of the Verification research group. She is involved with the following projects: Science of Sensor Systems Software, Trustworthy Robotic Assistants, Verification of Swarm Robotic Systems, Innovative Manufacturing of complex TI sheet components (INMA), and Reasoning about Linear Time Temporal Logic with Constraints. She is a member of the Centre for Autonomous Systems Technology, the Autonomy and Verification Laboratory, and the Institute for Risk and Uncertainty.

Assistant Professor
Department of Industrial and Systems Engineering
University at Buffalo, State University of New York

Dr. Matthew L. Bolton received his Ph.D. in Systems Engineering from the University of Virginia in 2010. Between 2010 and 2012, he worked as a senior researcher at the NASA Ames Research Center through the San Jose State University Research Foundation. From 2012 to 2014 he was an Assistant Professor of Industrial Engineering at the University of Illinois at Chicago. He joined the University at Buffalo as an assistant professor of Industrial and Systems Engineering in 2014. He conducts research that focuses on the use of formal methods in human factors engineering. In particular, he has developed task modeling techniques that allow formal verification analyses to discover ways that normative and potentially unanticipated erroneous human behavior can cause safety and performance problems in complex systems.

Assistant Professor
Department of Information Systems and Decision Sciences
Steven G. Mihaylo College of Business and Economics
California State University, Fullerton

Dr. Peng Liu earned his PhD in information technology management from Michigan State University. His doctorate thesis was on the evolutionary dynamics of organizational routines. His thesis focuses on the question do processes become more flexible, or more rigid, as the mix of digital technologies and human actors changes? What are the mechanisms that govern the evolution of processes?" He provided a new theory-driven explanation of the effects of digitization on business processes. He is a co-author of "Dynamics of Organizational Routines: A Generative Model" published in the Journal of Management Studies.