Fatma Faruq Posted on September 23, 2021 by verifiability Her background is in robotics and model checking and her current research focus is verification of autonomous systems.