Professor Adel Bouhoula, Head of the Computing Department at Arabian Gulf University (AGU), represented the university at the International Conference on Recent Advances in Mathematics and Informatics (ICRAMI 2025), recently held in Tunisia. He was the keynote speaker from the Arab world, among four distinguished keynote speakers representing leading researchers from the United States, Spain, and France. In his keynote address, titled "Developing Automated Verification Techniques for Designing Secure and Reliable Systems in Critical Fields" Prof Bouhoula reviewed over three decades of intensive research in the development of secure and reliable digital systems. He also showcased his pioneering research project aimed at creating an advanced computing system capable of automatically verifying the integrity of critical industrial systems. This will minimise reliance on human intervention and enhance digital security standards globally. During his presentation, Prof Bouhoula explained the primary challenge of verifying the integrity of critical systems amidst an infinite number of possible scenarios. This challenge is addressed through mathematical methods, which enable precise and comprehensive verification of system integrity, highlighting the integration of theoretical and applied sciences in developing secure systems. He stated, "Our research has led to the development of advanced technologies, resulting in international patents and numerous publications in leading scientific journals. These efforts contribute to building a safer digital society by enhancing safety and security in vital sectors such as healthcare, aviation, space, and defence." The conference featured 117 research papers covering artificial intelligence, intelligent systems, and applied mathematics, demonstrating significant international participation and research diversity. This international engagement highlights the valuable contributions of Arab researchers to technological innovation and underscores the leadership of AGU in supporting the transition toward a safer digital society.