AiDAs: the Artificial intelligence and DAta science Research Lab, for which I have the honour of being Director and founder. AiDAs contains ADA, a homage to Ada Lovelace.
AiDAs: the Artificial intelligence and DAta science Research Lab, for which I have the honour of being Director and founder. AiDAs contains ADA, a homage to Ada Lovelace.
The future of artificial intelligence lies in diversity: of ideas, of people, and in the combination of many areas of research and cultures. This is the driving force of my research lab AiDAs.
The future of artificial intelligence lies in diversity: of ideas, of people, and in the combination of many areas of research and cultures. This is the driving force of my research lab AiDAs.
The AiDAs Research Lab is primarily focused on defining the foundations of the next generation of artificial intelligence (AI) and data science by the proposal of new nature-inspired models of computation, learning and evolution of complex systems. The working of the human brain and Alan Turing's morphogenesis are our paradigms.
The AiDAs Research Lab is primarily focused on defining the foundations of the next generation of artificial intelligence (AI) and data science by the proposal of new nature-inspired models of computation, learning and evolution of complex systems. The working of the human brain and Alan Turing's morphogenesis are our paradigms.
AiDAs has four main coupled research lines:
AiDAs has four main coupled research lines:
(L1) Nature-inspired intelligent machinery. Formalisation of intelligence in nature and in machines, with special focus on cognition and collective learning and intelligence.
(L1) Nature-inspired intelligent machinery. Formalisation of intelligence in nature and in machines, with special focus on cognition and collective learning and intelligence.
(L2) Complex systems modelling. With special focus on the modelling and analysis of self-organisation, self-learning and dynamical evolution.
(L2) Complex systems modelling. With special focus on the modelling and analysis of self-organisation, self-learning and dynamical evolution.
(L3) Automation, hybrid dynamical systems and cyber-physical systems. With special focus on automated verification of dynamical properties of hybrid dynamical systems, model validation, robustness/uncertainty quantification and testing of safety- and security-critical complex systems.
(L3) Automation, hybrid dynamical systems and cyber-physical systems. With special focus on automated verification of dynamical properties of hybrid dynamical systems, model validation, robustness/uncertainty quantification and testing of safety- and security-critical complex systems.
(L4) Social computing, with special focus on social interactions and evolution of communities for networked human-machine systems.
(L4) Social computing, with special focus on social interactions and evolution of communities for networked human-machine systems.
