Robot manipulation combined with perception and self-verification capabilities has the promise to substantially improve the lives of impaired individuals by supporting their physical and mental well-being.

 

Here, we propose a collaborative project between researchers across the Trustworthy Autonomous Systems Hub and the TAS Nodes to bridge the gap in the state-of-the-art research in Human-Robot Interaction (HRI) and in formal verification to address the trust deficit in collaborative human-robot working environments.

We present an integrated approach for a human-centric, robot-assisted dressing, with self-verifying capabilities to ensure user safety during collaborative HRI.

Project Team

Meet Our Project Team

Yasmeen Rafiq

Yasmeen Rafiq

Research Associate, University of Sheffield

Lead Contact
Thomas Wright

Thomas Wright

Research Associate, University of York

Deputy Lead Contact/Co-Investigator
Mohammed Al Nuaimi

Mohammed Al-Nuaimi

Research Associate, University of Sheffield

Co-Investigator
Matt Windsor

Matt Windsor

Research Associate, University of York

Co-Investigator
Chuang Yu

Chuang Yu

Post-Doctoral Researcher, University of Manchester

Co-Investigator
Effie Law

Effie Law

Professor of Computer Science, Durham University

Co-Investigator
Dr Maria Galves Trigo gives a talk in the Great Hall

Marisé Galvez Trigo

Lecturer, University of Lincoln

Co-Investigator
Rob Hierons

Rob Hierons

Head of the Software Testing Group, University of Sheffield

Co-Investigator

Sanja Dogramadzi

Professor of Medical Robotics

Co-Investigator

Sylvaine Tuncer

Lecturer in Work, Interaction & Technology, King’s College, London

Co-Investigator

Xinwei Fang

Research Associate, University of York

Co-Investigator

Sachini Weerawardhana

Research Associate, King’s College London

Co-Investigator

Ann-Marie Hughes

Associate Professor, University of Southampton

Co-Investigator/Ethics Advisor

Wendy Otieno

Post-doctoral Research Associate, King’s College London

Research Associate

Matthew Story

Post-doctoral Research Associate, University of Lincoln

Research Associate

Swaroop Panda

Research Associate in the TAS Verifiability Node, Durham University

Research Associate

Jim Woodcock

Professor of Software Engineering

Project Advisor
Patrick Dickinson

Patrick Dickinson

Associate Professor, University of Lincoln

Project Advisor

Genovefa Kefalidou

Associate Professor, University of Leicester

Project Advisor
Ana Cavalcanti

Ana Cavalcanti

Professor of Software Verification, University of York

Project Advisor
Radu Calinescu

Radu Calinescu

Professor of Computer Science, University of York

Project Advisor
Vitaveska Lanfranchi

Vitaveska Lanfranchi

Senior Lecturer, University of Sheffield

Project Advisor
Kapil Katyal

Kapil Katyal

Principal Staff – Robotics, The Johns Hopkins University Applied Physics Laboratory

Project Advisor

Mohammad Reza Mousavi

Professor of Software Engineering, King’s College London

Project Advisor

Cath Ritchie

North Yorkshire City Council

Industry Partner
David Silberberg

David Silberberg

Johns Hopkins University, Applied Physics Lab

Industry Partner

Daniel Taylor

Stroke Association

Industry Partner
Partners

Our Project Partners