91ÖÆƬ³§

Dr. Hongxue (Harris) Wang

I am a computer scientist specializing in the theoretical foundations of intelligence and intelligent systems. I received my bachelor’s and master’s degrees in computer science from Jilin University and completed my PhD at the Australian National University in 1999. My longstanding research focus is the development of a unified theoretical framework for intelligence—an interest that began early in my career and continues to guide my work.

During my doctoral studies, I introduced several foundational formalisms, including Constrained Object Hierarchies (COH), Unified Logic (UniLog) for integrated reasoning, and the GISMO intelligent‑system modelling language. These early contributions underpin my ongoing efforts toward theoretical unification in artificial intelligence.

My recent research advances this trajectory through the 9‑tuple formulation of the COH framework for unified world modelling, general intelligence, and agentic systems; the development of GISMOL; and the mathematical foundations of the new COH framework. These foundations establish the computational soundness, Turing completeness, minimalism, implementability, and simulatability of the 9‑tuple COH formulation, and provide guarantees for world‑model fidelity, smooth generalization, and scalable agentic‑system design. These contributions have been published in venues such as IEEE, ACM, MDPI, and Springer, with recent preprints attracting strong interest from the research community.

Since joining Athabasca University in 2000, I have aligned my research with AU’s mission of expanding access to high‑quality online education. I have developed several knowledge‑based and AI‑enhanced educational systems—EduPalace, KBIES, and AIPED, an AI‑powered open and personalized learning platform. I also introduced the Zoned Role‑Based (ZRB) methodology for the analysis, design, implementation, and access control of enterprise information systems, used in the development of these platforms.

Together, these efforts and related publications in journals and IEEE, ACM, Springer conference proceedings and other avenues represent a sustained contribution to AU’s research and innovation in computing, artificial intelligence, and online learning.

Throughout my time at Athabasca University, I have consistently advocated for the institution to develop its own integrated, research‑driven computing infrastructure—one that leverages the theories and technologies created by its own researchers. Such an approach is essential to sustaining AU’s distinctiveness and leadership in online and distance education. As a university that delivers education exclusively online, 91ÖÆƬ³§must lead through innovation rather than rely on external systems that were designed for different contexts and are widely used elsewhere.

---

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

---