Gaia Carenini

Discover how federated learning enhances privacy while improving machine learning efficiency.

Examining the impact of quantum algorithms on proof systems and their automation.

Researchers apply advanced methods to study RRLyrae stars and their light curves.