Ricerca | Laboratorio di Automated Reasoning

Le attività svolte nel laboratorio riguardano lo studio, l'analisi e l'impiego di software per il ragionamento automatico. I principali software utilizzati nel laboratorio sono theorem prover come Vampire, SMT soler come Z3 e software per l’algebra computazionale come Prover9 e Mace4. Più dettagliatamente, i suddetti software vengono combinati con risultati teorici riguardanti le logiche a più valori per costruire tool per il ragionamento vago o il ragionamento in presenza di incertezza.

Il Laboratorio è dotato di quattro postazioni e 3 computer fissi Apple che possono utilizzati per la scrittura di software, per la redazione della tesi e per attività bibliografiche. È inoltre disponibile una lavagna e un sistema di registrazione audio.

Il Laboratorio di Ragionamento Automatico è accessibile agli studenti per le seguenti finalità:

• svolgimento di tirocini e stage per studenti di Matematica ed Informatica dell’Università di Salerno e per studenti del programma Erasmus+;
• redazione di tesi di laurea magistrale in Matematica ed Informatica;
• svolgimento di attività di ricerca per dottorandi di ricerca in Matematica.

Pagina web del laboratorio.