معرفی
Dr. Aznam Yacoub is an Assistant Professor at the School of Computer Science, University of Windsor. His research focuses on cognitive modelling, computational intelligence, and formal methods in system engineering. He holds a Ph.D. in Computer Science from Aix-Marseille Université (2016). His work integrates simulation and formal verification techniques, particularly through extensions of PROMELA (DEv-PROMELA) for discrete-event systems.
Key research areas include evolutionary algorithms, software/system engineering methodologies, and modelling complex systems such as mobile ad-hoc networks and virtual game architectures. He explores human-machine interaction, extended reality (metaverse), and computational philosophy. His educational interests span computer science pedagogy and the theory of computation.
Dr. Yacoub's recent work emphasizes interdisciplinary applications like disaster response infrastructure simulation and adaptive storytelling in virtual environments. His technical contributions bridge formal verification with simulation frameworks, enhancing reliability in complex system design.
