Fatma is a Research Assistant in the Verification and Autonomy Group at the University of Manchester. She is currently pursuing her PhD and earned her Masters from Carnegie Mellon University. Her current research focus is verification of autonomous systems, particularly planning for multi-robot systems.