Areas
Applied Physics
Applied physics
Research activities in applied physics include medical imaging and cultural heritage applications. The first include advanced Magnetic Resonance Imaging techniques, as Diffusion Tensor Imaging and functional MRI, Optical Imaging, including Cerenkov Imaging, Positron Emission Tomography and multimodal imaging approaches to biomedical problems. Cultural heritage applications are focused on the implementation and use of optical techniques for nondestructive diagnostics including: multimodal imaging in infrared/thermal bands, multispectral imaging, three dimensional survey of surfaces through laser conoscopy microprofilometry, characterization of art works through infrared spectroscopy.
Experimental condensed matter physics
Condensed matter physics
The research activity within the area of the Experimental Physics Group at Verona University concerns the study of mesoscopic phenomena in condensed matter physics. Our research topics span over the study of structural and dynamical (mechanical, vibrational, electrical, electronic and optical) properties of solid state systems, either in form of crystalline compounds or of composite nanostructured films, of biomolecular systems, and advanced optical materials. Specifically, current research topics are: (i) Study and development of photonic devices and energy generators using piezoelectricity at the nanoscale, for selfpowered devices in biomedical applications. (ii) Development of functional nanostructured films for photovoltaic applications. (iii) Development of spatial light modulators with high contrast of refractive index in the near infrared and of multipurpose advanced optical techniques. (iv) Interdisciplinary applications of Infrared Spectroscopy and Microspectroscopy including use of multivariate statistical analysis techniques. (v) Study of vibrational dynamics of microcrystalline solids. (vi) Study of the optical and electronic properties of nanostructured systems for optoelectronics and biomedical applications.
Applied Computing
Applied computing
standard compliant
ACM 2012
The Applied Computing area aims to develop and experiment computational models, computational platforms and algorithms arising in different contexts of applications originating from bioinformatics, biomedical informatics, robotics and multimedia systems. Concerning bioinformatics and biomedical applications, research focuses on several topics, as computational systems biology, natural computing, computational genomics, algorithmic bioinformatics, healthcare and clinical processaware information systems, clinical databases and data warehouses, clinical data mining. Applied research in robotics deals mainly with applications for service robotics and field robotics, including all robotic systems that are not concerned with manufacturing operations: robotic surgery, exploration, elderly and disabled care, logistics and countermeasures against disaster and terrorism. Multimedia applications are related to biomedical data analysis and videosurveillance, investigating advanced techniques of image and signal processing, computer graphics and visualization, computer vision, machine learning and statistical pattern recognition.
Theory of computation
Theory of computation
standard compliant
ACM 2012
The Department's research in this area covers a rich variety of topics, including: automated reasoning, computability, concurrency, cryptographic protocols, design and analysis of algorithms, equational logic and rewriting, logic and verification, modal and temporal logics, pattern matching, probabilistic computation, program analysis, program semantics, proof theory, quantum computation theory, rewrite systems, verification by model checking.
Software Engineering and Security
Security and privacy

Software and its engineering
standard compliant
ACM 2012
The Department's research in this area covers a rich variety of topics, including: automated static analysis, cryptography, formal language definitions, formal methods, formal security models, formal software verification, logic and verification, malware and its mitigation, massively parallel systems, network security, parallel programming languages, security protocols, security services, semantics, social aspects of security and privacy, software and application security, software architectures, software functional properties, software reverse engineering, software system models, software verification and validation, system description languages, trust frameworks, Unified Modeling Language (UML), web protocol security.
Mathematics  applications and modelling
Approximations and expansions

Calculus of variations and optimal control; optimization

Dynamical systems and ergodic theory

Global analysis, analysis on manifolds

Numerical analysis

Ordinary differential equations

Partial differential equations

Probability theory and stochastic processes

Real functions

Several complex variables and analytic spaces
standard compliant
MSC
Research in this area inolves the mathematical modelling of complex continuous phenomena and the development of appropriate tools for their theoretical as well as numerical treatment. This involves the disciplines of Nonlinear Analysis, Calculus of Variations, Optimal Control, Numerical Analysis as well as Mathematical Physics and Differential Geometry. Special emphasis is placed on the modelling of the complex phenomena that one encounters, for example, in the area of Financial Mathematics where the presence of stochastic behaviour requires the tools of Probability and Stochastic Analysis. The area enjoys numerous joint collaborations, both at the national as well as the international level, and its members participate in a variety of research projects involving a number of different sites.
Discrete and computational mathematics
Associative rings and algebras

Category theory; homological algebra

Combinatorics

Commutative algebra

Computer science

Convex and discrete geometry

Mathematical logic and foundations

Operations research, mathematical programming
standard compliant
MSC
Different aspects of discrete mathematics are investigated both from an abstract and a computational point of view. Categorical, homological and combinatorial methods are combined to study associative algebras arising in different contexts, to deal with classification problems, and to investigate categories of algebraic or geometric nature that find application also in theoretical physics. Theoretical background and algorithms for optimization, including mathematical programming and combinatorial optimization, are also studied, particularly in the context of operations research. Mathematical logic, especially proof theory and constructive mathematics, is pursued to uncover the computational content of mathematical proofs, e.g. algorithms with certificates of correctness. This partial realization of the revised Hilbert Programme is extended to conceptual areas, such as the theories of commutative rings and Banach algebras, where the finite underpinning of transfinite methods is a particular challenge.
Cyberphysical systems
Computer systems organization

Hardware

Networks
standard compliant
ACM 2012
This research area aims at achieving the 3C convergence, i.e., the deep integration of computing, control and communication for the design of modern complex systems, which include cyberphysical, realtime, embedded, hardware and software subsystems, with applications ranging from robotics to automotive, avionics, energy, biology. The core research on computing aspects is related to modeling, verification and optimization of intelligent cyberphsical systems, with particular emphasis on models of computation, manipulation of description languages, semiformal and formal verification, hardware and software automated synthesis and compilation, correctbyconstruction refinement and optimization, fundamental CAD algorithms. System theory concepts are used to model dynamic systems, and to interface dynamic systems to computation elements and communication networks. They are mainly investigated from the point of view of the design of robotic teleoperated systems, virtual environments for surgical applications, mobile robots and multirobot systems, and optimal codesign of communication and control strategies for networked and embedded control systems. Finally, research in communication is focused on the design, analysis and evaluation of network protocols and architectures, considering all layers, from data link, to routing, to congestion control, to overlay; moreover, with the socalled network synthesis, computation, communication and control aspects are addressed in a holistic way to face the complexity of large pervasive applications.
Information Systems
Humancentered computing

Information systems
standard compliant
ACM 2012
This research area aims to develop and experiment new approaches regarding the information representation, manipulation and processing considering information systems contexts of different application areas. Theoretical studies are carried on in spatial, temporal and semistructured databases, but also in process modeling with particular emphasis on data and process modeling, query processing, data mining and data visualization, when space and time are involved. Case studies and application contexts are mainly focused on information systems in medicine, geographical information systems and processaware information systems.
Machine Intelligence
Computing methodologies

Mathematics of computing
standard compliant
ACM 2012
Research in the area of Machine Intelligence aims at developing and studying computational and mathematical models, algorithms, theories, and paradigms for analyzing, understanding, and modeling data, or more generally, reasoning about them. Key methodologies span across different interdisciplinary fields, such as artificial intelligence, symbolic computation, machine learning, signal and image processing, computer vision, and computer graphics. In more detail, in artificial intelligence topics of interest include knowledge representation and reasoning, intelligent agents and multiagent systems, theorem proving and model building, as well as search methodologies, with emphasis on discrete space search. In machine learning main methods and approaches relate to graphical models, statistical learning and kernel theories, and multiclassifier methods for classification and clustering. In multidimensional signal processing the studied techniques regard advanced filtering, feature extraction and segmentation methods, multiresolution and sparse signal representations, time(space)/scale methods, including wavelets, compressive sensing, large scale image characterization and retrieval tools, related to both optical and multimodal images. Computer vision mainly exploits geometric and probabilistic approaches for 3D reconstruction, object recognition, dynamic scene analysis and understanding. Computer graphics relates geometric/physicallybased theories for object modeling, shape analysis and visualization.