01
Natural Language Processing
Understanding, interpreting, and generating human language across multiple languages—from speech recognition and machine translation to sentiment analysis and irony detection.
Explore this area02
Planning and Reasoning
AI systems that make informed decisions, optimise complex processes, and plan sequences of actions — from urban mobility simulation and social network data analysis to business process optimisation.
Explore this area03
Software Analysis, Verification and Testing
Advanced automated testing tools and formal verification methods that ensure software correctness, security, and reliability—including TESTAR for GUI testing without manual scripts.
Explore this area04
Machine Learning and Deep Learning
Visual artificial intelligence, deep neural networks, and perception systems—from computer vision and VR/AR/XR technologies to explainable AI and recommendation systems.
Explore this area05
Natural Computing
Computational paradigms inspired by biological, chemical, and physical processes—with a focus on membrane computing and genomic information systems for precision medicine.
Explore this area06
Computational Logic and Automated Reasoning
Systems for rigorous logical inference and reasoning about complex domains—from computational argumentation frameworks to automated decision support and knowledge representation.
Explore this area07
Intelligent Agents and Human-Centered AI
Multi-agent systems and human-AI collaboration technologies—from SPADE and Magentix2 platforms to smart city simulation, affective computing, and agreement technologies.
Explore this area08
AI, Privacy and Security
The intersection of AI with cybersecurity, data protection, and ethical computing—covering AI-powered security systems and methods to ensure AI systems are themselves secure and trustworthy.
Explore this area09
Software Production Methods
Model-driven engineering, conceptual modelling, and software development methodologies—from CAME environments and model-based automation to business process reengineering and precision medicine applications.
Explore this area