The Department main building

The Department main building

The separate building at Scientific-Technological campus

The separate building at Scientific-Technological campus

The Department Conference Room

The Department Conference Room

The Department Library

The Department Library

Student Labs, Network and HPC Labs

Student Labs, Network and HPC Labs

News
Università di Ferrara, Italy, April 16-20, 2018
DMCS is reconfirmed in the top positions for recruitment policies. Computer Science, Numerical Analysis, and Teaching and History of Mathematics at the top positions in the national rankings

DMCS and VQR 2011-2014

DMCS is reconfirmed in the top positions for recruitment policies. Computer Science, Numerical Analysis, and Teaching and History of Mathematics at the top positions in the national rankings
Prof. Valeria Ruggiero has been confirmed as director of the National Group of Scientific Computing (GNCS) of Indam

Valeria Ruggiero confirmed as director of the GNCS

Prof. Valeria Ruggiero has been confirmed as director of the National Group of Scientific Computing (GNCS) of Indam
Historical exibit about famous women in Mathematics

"Women and Mathematics in Italy"

Historical exibit about famous women in Mathematics
More…
Highlights
After the celebrated Boltzmann equation in 1872, which describes the time evolution of a rarefied gas, kinetic equations have been applied to model a variety of phenomena whose multiscale nature cannot be described by a standard macroscopic approach.

Uncertainty quantification and the Boltzmann legacy

After the celebrated Boltzmann equation in 1872, which describes the time evolution of a rarefied gas, kinetic equations have been applied to model a variety of phenomena whose multiscale nature cannot be described by a standard macroscopic approach.
The primary characteristic of interval temporal logic is that intervals, rather than points, are taken as the primitive ontological entities. Given their generally bad computational behavior of interval temporal logics, several techniques exist to produce decidable and computationally affordable temporal logics based on intervals.

On coarser interval temporal logics

The primary characteristic of interval temporal logic is that intervals, rather than points, are taken as the primitive ontological entities. Given their generally bad computational behavior of interval temporal logics, several techniques exist to produce decidable and computationally affordable temporal logics based on intervals.
Combining logic and probability is one of the long standing problems of Artificial Intelligence. Logic is very useful for describing domains with many different entities connected by complex relationships, while probability theory deals very well with the uncertainty that is associated to the data we collect from the world.

Combining Logic and Probability

Combining logic and probability is one of the long standing problems of Artificial Intelligence. Logic is very useful for describing domains with many different entities connected by complex relationships, while probability theory deals very well with the uncertainty that is associated to the data we collect from the world.
Mathematics has a strong tradition at the University of Ferrara which goes back to the foundation of the University in 1391. Focus here is on the early history of mathematics at University of Ferrara. Recent developments will only be mentioned marginally. (In Italian)

A brief history of Mathematics at the University of Ferrara

Mathematics has a strong tradition at the University of Ferrara which goes back to the foundation of the University in 1391. Focus here is on the early history of mathematics at University of Ferrara. Recent developments will only be mentioned marginally. (In Italian)
DMCS

Contacts

Phone +39 0532 974002
Fax +39 0532 974003
mail: dipmatinf@unife.it

certified mail: dipmatinf@Pec.unife.it

Indam Research Unit

ADUF - Sezione VII

annali.jpg

Unife International

unifeint.jpeg