With over a decade of experience as a Faculty Member at The Institute of Public Administration, my journey has been anchored in academic excellence and a deep commitment to research collaboration. At The University of Manchester, my focus on autonomy and verification, alongside automated reasoning, propels advancements in cyber-security. Our team's contributions have been recognized with multiple awards in international software testing competitions, reflecting our dedication to innovation. Kaled has received 18 international awards (10🥇 , 4 🥈 , 4🥉) from the international competitions on software testing.As the lead developer of FuSeBMC, I leverage my extensive background in computer science to pioneer novel techniques in software testing and verification. We, as part of the SCorCH project, strive for scalable and trustworthy autonomy in collaboration with esteemed peers from Oxford. This endeavor underscores my passion for developing solutions that stand at the intersection of technology and practical application, ensuring enhanced security in an increasingly digital world.