| AI/Cognition Group - projects | |
| Agent and Multiagent Learning | more... |
| Agent Communication | more... |
| Agent-Oriented Software Engineering | more... |
| Computational Trust | more... |
| Open Ontologies and Open Knowledge Bases | more... |
| Social AI | more... |
| Spatial Cognition and Neural Networks | more... |
| Formal Methods and Theory Group - projects | |
| Constraint Solvers | more... |
| Fortas - Execution Time Analysis | more... |
| Modelling Embedded Software | more... |
| Runtime Reflection | more... |
| Software Security | more... |
| Testing and Validation of Runtime Resources | more... |
