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 9tuple formulation of the COH framework, which unifies world modelling, general intelligence, and agentic system design. He has also developed GISMOL, a general intelligent systems modelling language, along with the corresponding mathematical foundations that establish the computational soundness, Turing completeness, minimality, implementability, and simulatability of the 9tuple COH formalism. These advances provide theoretical guarantees for worldmodel fidelity, smooth generalization, and scalable agentic systems. His research has been published in venues such as IEEE, ACM, MDPI, and Springer, and his recent preprints have generated significant interest within the research community.

Since joining Athabasca University in 2000, Dr. Wang has aligned his research with the university’s mission of expanding access to highquality online education. He has designed and implemented several knowledgebased and AIenhanced educational systems—EduPalace, KBIES, and AIPED, an AIpowered open and personalized learning platform. He also developed the Zoned RoleBased (ZRB) methodology for the analysis, design, implementation, maintenance, and access control of integrated enterprise information systems and other complex systems; this methodology has been applied extensively in the development of these platforms.

Collectively, these initiatives and associated publications represent a sustained 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, researchdriven computing infrastructure—one grounded in AU’s own theories, innovations, and technological advances, and designed to support the institution’s distinctive business model. He believes that, as a university operating exclusively online, AU’s longterm distinctiveness and leadership depend on an integrated online education system whose innovations in both education and computing originate from within and are intrinsically built into the institution itself, rather than relying on externally developed systems designed for fundamentally different contexts and business models.

Discover my research

---

Research interests

• Intelligence and intelligent system modelling and development
• Computing and AI technologies for education and online education
• Web-based systems
• Computer and network security

---

Educational credentials

• Ph. D in Computer Science, the Australian National University, 1999
• Master of Computer Software, Jilin University, 1988
• Bachelor of Computer Systems and Architecture, Jilin University, 1985

---

Professional affiliations

• Member of IEEE
• Member of IEEE, Computer Society
• Member of ACM

---