Home

Projects

About

Contact

About

The Laboratory of Automated Reasoning at the University of Salerno investigates mathematical aspetct of automated reasoning under vageuness or uncertainty (or both).

Please check out our projects and repository.

Permanent members of the laboratory

Luca Spada (coordinator of the laboratory)

Serafina Lapenta

Temporary members (PostDocs)

Marco Abbadini

Former Trainees

Alexandra Pantis

Sebastiano Napolitano