John Lloyd

Prof John Lloyd is a Professor at the School of Computing, Australian National University. His research focuses on computational logic, agent systems, declarative programming languages, and machine learning. He holds qualifications including a BSc(Hons), MSc from Newcastle University, a PhD from ANU, and a DipComp from Melbourne.

His research interests span foundational theories in logic programming, probabilistic reasoning, and agent architectures. He has contributed to projects like Feature Reinforcement Learning and Foundations and Architectures for Agent Systems. His work emphasizes integrating logic and probability for robust AI systems.

Prof Lloyd has advised student Kee Siong Ng and led over nine research projects. His publications explore topics like probabilistic logic frameworks, declarative agent languages, and higher-order logic systems. He actively participates in international conferences, contributing to proceedings and workshops.

His academic leadership includes convening the Bachelor of Computer Science (Honours) program. His research bridges theoretical foundations with practical AI applications, emphasizing declarative approaches for complex systems.