Michela Quadrini
Summary
Current research is focused on Artificial Intelligence, Bioinformatics, Formal methods and Languages for the modelling, analysis and verification of Distributed Systems.
Agents & Multi-Agent Systems Artificial Intelligence Bioinformatics Computational Biology Data Mining & Machine Learning Data Science Neural Networks