-
Algebra
-
The group works in representation theory of algebras.
-
Algorithms
-
The group investigates structural aspects of fundamental problems in Computer Science and their mathematical models. This leads to the design of better algorithms protocols and systems as well as understanding of their implicit computational limits. Specific areas of interests include: algorithm design, data structures, string algorithms, computational complexity, combinatorial optimization, coding and information theory, machine learning. Most results obtained are in the intersection of algorithmics with several other areas in theory and applications, including bioinformatics, communication networks, operating research and artificial intelligence.
-
Algorithmic Bioinformatics and Natural Computing
-
Application of theoretical methods and data analysis to model information underlying biological processes: graph and string algorithms for systems biology; advanced data structures for sequence data; distance measures for biological sequences; natural (biotechnological, membrane) computing; pattern recognition, machine learning for biomedical data.
-
ARLette - Automated Reasoning Laboratory
-
The group conducts research in Automated Reasoning: theorem proving,
decision procedures for satisfiability, satisfiability modulo
theories/assignments, model building, rewriting, and applications.
-
Databases and Information Systems
-
People of this group are involved in research areas regarding informations systems theory and applications
-
Big Data Analytics
-
This research group deals with several topics regarding the management and analysis of big spatio-temporal datasets.
-
Big Data, Data Science and Process Mining
-
-
Bioinformatics and Natural Computing
-
Algorithmic analysis of biological processes.
-
Biomedical Imaging
-
The Biomedical Imaging Group is active in Experimental and Translational Biomedical Imaging, with main focuses on Magnetic Resonance and Optical Imaging. The lab is equipped with a MRI Tomograph (Bruker, Biospec 4.7 T) and with an Optical Images (IVIS Spectrum, PerkinElmer).
-
Blockchain
-
This research group deals with several topics related to the development and the application of the emerging blockchain technology and the smart contract infrastructure.
-
Calculus of Variations and PDE
-
Il gruppo si occupa di attività di ricerca nel campo del calcolo delle variazioni, teoria geometrica della misura, teoria del controllo ottimo, teoria del trasporto ottimo, e applicazioni.
-
Contemporary Applied Mathematics
-
Development of advanced theoretical and computational mathematical methods for transport and diffusion phenomena in complex systems, multivariate approximation and high-dimensional control problems.
-
Electronic Systems Design (ESD)
-
The aim of the research group is to apply electronic design automation (EDA) techniques to cyber-physical production systems (CPPSs) and Industrial IoT (IIoT) for modeling, simulation, synthesis and testing of production lines.
-
Foundations, History and Didactics of Physics
-
Research activities in this field concern the History of Physics, particularly devoted to the XX century, and Physics Education following active learning methods and in sinergy with the History of Physics with reference to the Foundations of Physics and to the Nature of Science, particularly devoted to Physics teaching at University level and to perspective primary and secondary school teachers.
-
ForMe - Formal Method for the Design of Engineering Systems
-
The aim of the research group is to apply formal methods to modelling, verification and synthesis of engineering systems. The domains range from timed systems to nonlinear cyberphysical systems.
-
INdAM - Research Unit at the University of Verona
-
We collect here the scientific activities of the Research Unit of Istituto Nazionale di Alta Matematica INdAM at the University of Verona
-
Artificial Intelligence (AI)
-
The group conducts research in Artificial Intelligence, including Automated Reasoning, Search Algorithms, Knowledge Representation, Machine Learning, Multi-Agent Systems, and their applications.
-
IoT4Care
-
Interdepartmental research group for the design of IoT systems in the neurological and rehabilitation fields
-
ISLa - Intelligent Systems Lab
-
Artificial intelligence, statistical learning and data analysis for intelligent systems
-
K.Re.Art.I.
-
Rappresentazione della conoscenza tramite tecniche di IJntelligenza Artificiale
-
LAPS (Laboratory for Photovoltaics and Solid State Physics)
-
The lab has is core business on the preparation, fabrication and characterization of second generation thin film solar cells.
CdTe thin film solar cells with efficiencies exceeding 15% have been fabricated, also flexible solar cells deposited on polymer foils with more than 10% efficiency have been made.
The laboratory is equipped with many different vacuum deposition machines, and electrical and morphological characterization instruments.
The laboratory has also a new different area on the characterization on biological samples and nanostructures by atomic force microscopy.
-
Logica
-
Logica in matematica ed informatica.
-
Mathematics - applications and modelling
-
-
Networked Systems and Technologies
-
Design and verification of communication technologies capable of bringing efficiency and sustainability to key applications such as industry, agriculture, building automation, transport and land management.
-
Neuroimaging Group
-
-
OpDATeCH Lab - Optical Devices and Advanced Techniques for Cultural Heritage
-
Laboratory of physics applied to cultural heritage: infrared methods, spectral imaging, laser interferometry.
-
PARCO – Parallel Computing
-
The aim of the research group is the development and optimization of Software targeting multi-core CPU/many-core GPUs for resource constrained computing platform (e.g., Edge Computing) and for High-performance Computing (HPC) platforms.
-
The Quantum Informatics Laboratory - QUILAB
-
The Quantum Informatics Laboratory
-
REGIS: Research Group in Information Security
-
Studio e sviluppo di metodologie formali per l'analisi, l'ottimizzazione, la certificazione, la robustezza e la sicurezza di sistemi software complessi
-
Robotics, Artificial Intelligence
and Control
-
-
IR and X-ray absorption spectroscopy for interdisciplinary studies in biotechnological and cultural heritage fields (IRIS lab)
-
Research activities in this field concern applications to interdisciplinary studies in Biotechnology and Cultural Heritage of spectroscopy, microspectroscopy and imaging in the medium and near infrared range and in the X-ray range (XANES and EXAFS), including multivariate statistical analysis of spectral data.
-
SPY
-
-
Vision, Images, Patterns and Signals (VIPS)
-
VIPS activities are devoted to the analysis, recognition, modeling and prediction of multivariate multidimensional signals and patterns by artificial intelligence and machine learning techniques. Specific expertise and application domains include image processing, computer vision, pattern recognition, machine learning, human-machine interaction, computer graphics, mixed reality and gaming, analysis and modeling of biomedical and neuroscience data for both basic and translational research.
