unified theories for intelligence and intelligent systems, Intelligence and intelligent system modelling, intelligent system design, development and simulation, machine learning, computer and network security, web-based technologies

Dr. Hongxue (Harris) Wang

Dr. Hongxue (Harris) Wang is a computer scientist whose research focuses on the theoretical foundations of intelligence and the modelling, implementation, simulation, integration and security of complex intelligent systems. He earned his bachelor’s and master’s degrees in computer science from Jilin University and completed his PhD at the Australian National University. From the outset of his career, he has been driven by a longstanding goal: developing a unified theoretical framework for intelligence.

During his doctoral work, Dr. Wang introduced several formalisms—including Constrained Object Hierarchies (COH), Unified Logic (UniLog) for integrated knowledge representation and reasoning, and the GISMO intelligent system modelling language. These early contributions continue to underpin his pursuit of a mathematically rigorous and conceptually unified theory of artificial intelligence.

His recent research extends this trajectory through the nine-tuple formulation of the COH framework, which unifies world modeling, general intelligence, and agentic system design. He has also developed GISMOL, a general intelligent systems modeling language, together with its underlying mathematical foundations, which establish the computational soundness, Turing completeness, minimality, implementability, and simulatability of the nine-tuple COH formalism. These advances provide theoretical guarantees for world-model fidelity, smooth generalization, and the scalability of agentic systems. In addition, he has developed a Python toolkit that enables the modeling and development of intelligent systems grounded in the COH theoretical framework. His research has been published in venues such as IEEE, ACM, MDPI, and Springer, and his recent preprints have attracted significant interest within the research community.

Since joining Athabasca University in 2000, Dr. Wang has remained committed to research that is central to the university’s mission—advancing theories and technologies that expand access to high-quality online education. He has investigated advanced technologies for online learning across multiple dimensions and has developed several knowledge-based and AI‑enhanced educational systems, including EduPalace, KBIES, and AIPED—an AI‑powered open and personalized learning platform. In addition, he developed the Zoned Role‑Based (ZRB) methodology for the analysis, design, implementation, maintenance, and access control of integrated enterprise information systems and other complex systems, along with a supporting Python toolkit that enables the practical application of the ZRB approach in system development. This methodology has been successfully applied in the development of the aforementioned systems.

More recently, he developed the Constrained Zoned‑Object Architecture (CZOA), a mathematical model that integrates the strengths of the COH and ZRB frameworks into a novel ten‑tuple formalism for modeling and developing secure, intelligent, and integrated organizational systems. He also developed a Python library, CZOI (Constrained Zoned‑Object Infrastructure), which implements the CZOA theoretical model.

In addition, he formalized UniLog and implemented it as a standalone Python library, subsequently integrating it into the GISMOL and CZOI toolkits to support constraint representation and reasoning.

Collectively, these initiatives and the associated publications represent a sustained and significant contribution to Athabasca University’s leadership in computing, artificial intelligence, and online education.

Throughout his tenure at the university, Dr. Wang has consistently advocated for the development and deployment of an integrated, research‑driven computing infrastructure—one grounded in Athabasca University’s own theories, innovations, and technological advances, and intentionally designed to support the institution’s distinctive business model. He maintains that, as a university operating exclusively online, AU’s long‑term distinctiveness and leadership depend on an integrated online education system whose educational and computing innovations originate from within the institution and are intrinsically embedded in its core operations, rather than relying on externally developed systems designed for fundamentally different institutional contexts and business models.