Dr. Adina Aniculaesei | Technology | Best Researcher Award

Dr. Adina Aniculaesei | Technology | Best Researcher Award

Dr. Adina Aniculaesei , Postdoctoral Researcher, Department of Computer Science and Engineering, University of Gothenburg and Chalmers University of Technology, Sweden.

Adina Aniculăesei is a passionate researcher and expert in automated safety‑critical systems, currently based in Gothenburg, Sweden. Born in Iași, Romania, she has dedicated her career to making autonomous vehicles and mobile robots safer, focusing on verification, formal methods, and runtime validation. Through years of multidisciplinary research and teaching, she has shaped the future of software engineering for intelligent transportation and collaborative robotics. Her deep knowledge of formal verification and system modeling has positioned her as a leading voice in the realm of dependable and trustworthy autonomous platforms, making significant impacts in both academia and industry.

Publication Profile

Google Scholar

🎓 Education Background

Adina earned her Doctorate (Dr. rer. nat.) in Computer Science from the Clausthal University of Technology, Germany, in 2024, graduating magna cum laude. She holds an M.Sc. in Computer Science from the Technical University of Braunschweig (2011) and a B.Sc. in Computer Science from Alexandru Ioan Cuza University, Romania (2007). An Erasmus–Socrates scholar, she enriched her studies with a year at the Technical University of Braunschweig. Her rigorous training combined formal methods, software engineering, and automated test case generation, making her adept at tackling complex, safety‑critical domains.

💼 Professional Experience

Adina Aniculăesei has worked as a Postdoctoral Researcher at the University of Gothenburg and Chalmers University of Technology (since October 2024), focusing on translating formal behavioral specifications into ROS2 nodes for collaborative robot applications. Previously, she served as a Doctoral Researcher and Research Assistant at TU Clausthal, leading industry collaborations, teaching, and mentoring students. Her experience includes roles across software and systems engineering, with a strong focus on safety, formal verification, and automated test generation for automotive and robotics domains, making her a sought‑after expert and educator in the field.

🏅 Awards and Honors

Throughout her academic journey, Adina Aniculăesei has been recognized for excellence and dedication. She received the Siemens Master Program Scholarship (2007–2009) and the Erasmus–Socrates Scholarship (2005–2006). Her doctoral studies earned her the magna cum laude distinction upon defending her Ph.D. thesis at Clausthal University of Technology in 2024. Additionally, she holds technical certifications including ISAQB Certified Professional for Software Architecture and ISTQB Certified Tester Foundation Level, highlighting her commitment to mastering both theoretical and practical elements of her field.

🔍 Research Focus

Adina Aniculăesei’s research centers on formal verification, automated test generation, and runtime monitoring for automated safety‑critical and collaborative multi‑agent systems. She explores methods for specifying, verifying, and validating complex operational design domains (ODDs) for autonomous vehicles and mobile robots. Her expertise includes formal methods (SPIN, NuSMV, PRISM), test case generation, model checking, and AI‑based environment perception, making her work pivotal in shaping next‑generation transportation and robotics technologies.

✅ Conclusion

With a profound background in formal methods, automated test generation, and verification of safety‑critical systems, Adina Aniculăesei has established herself as an influential expert in both academia and industry. Her dedication to mentoring students, publishing impactful research, and collaborating with international institutions has positioned her as a thought leader in software engineering for dependable, trustworthy, and safe autonomous technologies.

📚 Publication Top Notes

  • Towards a holistic software systems engineering approach for dependable autonomous systemsProceedings of the 1st International Workshop on Software Engineering for AI (2018). Cited by 70
  • Towards the verification of safety‑critical autonomous systems in dynamic environmentsarXiv preprint (2016). Cited by 42
  • Automated generation of requirements‑based test cases for an adaptive cruise control systemIEEE Workshop on Validation, Analysis and Evolution of Software Tests (2018). Cited by 24
  • UML‑based analysis of power consumption for real‑time embedded systemsIEEE 10th International Conference on Trust, Security and Privacy in Computing and Communications (2011). Cited by 24
  • Graceful degradation of decision and control responsibility for autonomous systems based on dependability cages5th International Symposium on Future Active Safety Technology Toward Zero Accidents (2019). Cited by 14

 

Muhammad Imam | FOG computing | Best Researcher Award

Assist Prof Dr. Muhammad Imam | FOG computing | Best Researcher Award

Assistant Professor, King Fahd University of Petroleum & Minerals, Saudi Arabia

Dr. Muhammad Y. Imam is a distinguished Cybersecurity Leader and Consultant with over 20 years of experience in the fields of cybersecurity, cryptography, and blockchain. He has a proven track record of combining entrepreneurship with technical expertise, excelling in problem-solving and innovative solutions. Currently an Assistant Professor at KFUPM, Dr. Imam is committed to enhancing cybersecurity education and practice in the region. 🌐🔐

Publication Profile

ORCID

 

Strengths for the Award

  1. Extensive Expertise in Cybersecurity: Dr. Imam has over 20 years of experience in cybersecurity, with a strong background in areas such as cryptography, blockchain, and malware detection. This extensive knowledge positions him as a leader in the field.
  2. Innovative Research Contributions: His PhD research focused on botnet mitigation techniques, showcasing his ability to develop novel solutions for complex problems. This work is crucial in addressing emerging threats in cybersecurity.
  3. Academic and Administrative Leadership: As an Assistant Professor at KFUPM and former Director of the Business Incubator, Dr. Imam demonstrates strong leadership skills. He has been actively involved in various committees, contributing to policy-making and curriculum development.
  4. Impactful Publications: With a range of publications in reputable journals, including works on secure PIN-entry methods and malware classification, Dr. Imam has made significant contributions to academic literature in cybersecurity.
  5. Strong Network and Collaboration: His involvement with various organizations, such as ARAMCO and Saudi Airlines, highlights his ability to bridge academia and industry, fostering collaborations that enhance research impact.
  6. Commitment to Education: Dr. Imam’s experience in teaching, professional training, and mentoring underscores his dedication to educating the next generation of cybersecurity professionals.

Areas for Improvement

  1. Broader Research Focus: While Dr. Imam has a strong background in cybersecurity, expanding his research to include emerging fields like artificial intelligence and machine learning in security applications could further enhance his profile.
  2. Enhanced Public Engagement: Increasing participation in public forums or conferences to share his research findings could amplify his impact and visibility within the global cybersecurity community.
  3. Collaboration with Diverse Disciplines: Engaging with researchers from different fields, such as sociology or behavioral science, could provide a more holistic approach to understanding cybersecurity issues, particularly in user behavior and security practices.
  4. Grant Acquisition: Actively pursuing more research grants and funding opportunities could help elevate his projects and provide resources for broader research initiatives.

Education

Dr. Imam earned his Ph.D. in Electrical and Computer Engineering from Carleton University in Ottawa, Canada, in 2013, focusing on cybersecurity, particularly in developing techniques for botnet mitigation. He also holds a Master’s degree from KFUPM, where he graduated in June 2004, and a Bachelor’s degree from the same institution, completed in May 2000. 🎓📚

Experience

Since September 2013, Dr. Imam has served as an Assistant Professor in the Computer Engineering Department at KFUPM, where he is involved in teaching, professional training, and research projects with industry partners. He previously directed the Business Incubator at KFUPM’s Entrepreneurship Institute, managing incubation and acceleration programs to support new startups. His leadership extends to various committees, including chairing the Cybersecurity Committee at KFUPM since January 2023. 👨‍🏫💼

Research Focus

Dr. Imam’s research interests are centered around cybersecurity, focusing on cryptography, network security, and malware detection. His innovative work includes developing advanced solutions for data privacy and risk management, addressing contemporary challenges in information security. 🔍💻

Awards and Honors

Throughout his career, Dr. Imam has been recognized for his contributions to cybersecurity education and practice, receiving accolades for his research and leadership in various academic and professional capacities. He has also been involved in multiple initiatives to improve cybersecurity awareness and education in Saudi Arabia and beyond. 🏅👏

Publications

F. Binbeshr, L. Y. Por, M. L. M. Kiah, A. A. Zaidan, and M. Imam, “Secure PIN-Entry Method Using One-Time PIN (OTP),” IEEE Access, vol. 11, pp. 18121-18133, 2023.

Al Mousa, M. Al Qomri, and M. Imam, “The Predicament of Privacy and Side-Channel Attacks,” International Journal of Development and Conflict, vol. 12, no. 2, pp. 182–191, 2022.

L. Ghouti and M. Imam, “Malware Classification Using Compact Image Features and Multiclass Support Vector Machines,” IET Information Security, vol. 14, no. 4, pp. 419–429, 2020.

M. Mahmoud, M. Nir, and A. Matrawy, “A Survey on Botnet Architectures, Detection and Defences,” International Journal of Network Security, vol. 17, no. 3, pp. 272–289, 2015.

M. Mahmoud, S. Chiasson, and A. Matrawy, “Does Context Influence Responses to Firewall Warnings?,” 2012 eCrime Researchers Summit, Las Croabas, PR, USA, 2012, pp. 1-10.

Conclusion

Dr. Muhammad Y. Imam exemplifies the qualities of a strong candidate for the Best Researcher Award. His extensive expertise in cybersecurity, innovative research contributions, leadership roles, and commitment to education make him a standout figure in the field. Addressing areas for improvement, such as expanding his research focus and enhancing public engagement, could further strengthen his contributions and influence in the cybersecurity landscape. Given these strengths and opportunities, Dr. Imam is well-positioned to receive recognition for his impactful work and leadership in the realm of cybersecurity.