Research activities
Main research activities carried out at the Dipartimento di Scienze cover various disciplines of Chemistry, Geology, Computer Science, Mathematics and Applied Mathematics, Commodity Science.
Chemistry
 catalyzed oxidation of organics in aqueous phase
 environmental chemistry
 Nuclear Magnetic Resonance applications
Geology
 comparative geology of terrestrial planets
 geostratigraphic evolution of Mars and subsurface modeling for the interpretation of MARSIS and SHARAD radar data
 geological evolution of Venus and Mercury
 reconstruction of Quaternary depositional systems on North Africa
 paleoclimatic monitoring of arid zones using remote sensing data
 mass extinctions and climatic changes in the Devonian sequences of the Carnic Alps
 development of a miniaturised xray diffractometer for the in situ mineralogical analyses of planetary surfaces
Computer Science
 analysis and verification of logic and concurrent programs
 soft constraints solving and programming, security protocols
 logic programming, Indexed Categories and BottomUp Semantics of Logic Programs
 Hybrid logics, Query processing for XML, Representation and reasoning about time granularity
 Metaheuristics, Integration of Metaheuristics and Constraint Programming, Complex networks and combinatorial optimization
Mathematics and Applied Mathematic
 Efficient methods to study ideals generated by polynomials. Algebraic theory of hypercharts. Adnilpotent ideals of Borel subalgebras.
 Special structures and deformations on parallelizable varieties.
 Variational and topological methods for the study of nonlinear phenomena. Problems in harmonic analysis. Operator algebras and applications.
 Diffusion approximation for transport models with scattering on the boundary. Filtering and optimal stochastic control problems for pure jump processes. Optimal stopping problems for Markov processes. Derivative pricing with stochastic volatility.
 Envyfreeness in fair division problems. Graph theory.
 SemiMarkov models and applications to actuarial, financial and biomedical sciences.
Commodity Science
 analyses of antioxidant and aromatic compounds of food
 diffusion of trace elements in the environment and in the food chain
 distribution and measurements of trace metals on biological substrata
