University Of Pretoria SA Coronavirus Website Computer Science Department

International Collaboration on Verification of Multi-Agent Systems

Multi-agent systems (MAS) are computerized systems that consist of intelligent and autonomous agents. These agents collaborate in order to achieve goals or to solve problems. Multi-agent systems play an important role in the context of the Industry 4.0. Dr Nils Timm is the local principal investigator of a bilateral research project on the verification of multi-agent systems. In collaboration with scientists from the Stockholm University Sweden, he is developing techniques for automatically proving the correctness of multi-agent systems in terms of goal achievability. These techniques allow to ensure the quality and reliability of multi-agent systems, and thus, contribute to the maturation of MAS technology for industry purposes.
The Information Technology Building


Welcome to the Department of Computer Science at the University of Pretoria.

Our main objective is to explore and research the scientific basis of new technologies. We furthermore promote the proliferation of reliable, robust and innovative computing and information technologies into the IT industry in South Africa.

Excellence in computer science education, the development of internationally and nationally recognised research initiatives, and strong industry collaboration, are the driving factors underpinning the success of the department.

Additional News


If you can't log in please clear your browser's cookies

Remember Me
Forgot password
All content copyright © Department of Computer Science, School of IT, University of Pretoria, South Africa