Vai al contenuto principale

IMMAGINE
NON DISPONIBILE

Fondazioni logiche della computazione

Componenti

Attività

A dispetto dei progressi tecnologici che la pongono come una disciplina chiave nell'ambito della società moderna, l'informatica, dal punto di vista scientifico, è ancora immatura. Basti pensare alla difficoltà di certificare la correttezza, sia funzionale, sia in termini di risorse utilizzate, di composizioni di moduli software eseguiti in ambito distribuito. Grazie al nostro retroterra ed alle nostre inclinazioni scientifiche miriamo a contribuire ad un avanzamento della conoscenza fondazionale dell'informatica, grazie anche ad un substrato di Collaborazioni ed attività passate ed attive.

Il nostro metodo favorito è analizzare gli aspetti matematici di astrazioni che hanno acquistato una rilevanza centrale nella teoria della computazione, anche in seguito alla nascita di nuovi modelli basati sulla fisica dei processi di calcolo (calcolo quantistico o reversibile), i quali hanno anche condotto alla necessità di guardare con una nuova consapevolezza problematiche classiche come il calcolo distribuito ed asincrono. In generale, si tratta di problemi di interazione tra processi nello spazio e nel tempo, dove spazio e tempo sono a loro volta ripensati in una chiave computazionale. Lavoriamo in accordo con una visione che pone la costruzione di teorie che aiutino a spiegare il concetto di “calcolo”, portandolo al centro dell'attività di ricerca. Siamo focalizzati sugli aspetti fondazionali dei concetti tecnici che studiamo, piuttosto che alla soluzione di singoli problemi contingenti. La convinzione è che l’informatica, come “scienza del calcolo”, abbia un'assoluta necessità di una rielaborazione delle sue basi sia matematiche sia, in un senso ampio, filosofiche.

Dr. Mauro Piccolo

Dott.ssa Silvia Steila

Erika Debenedetti

Luca Fossati

Marco Gaboardi

Luigi Liquori

Michele Pagani

Alberto Pravato

Alexis Saurin

Luca Vercelli

Stefano Berardi

+ 39 011 670 6750

stefano@di.unito.it

Prodotti della ricerca

 ter Beek, Maurice H.*; Damiani, Ferruccio; Gnesi, Stefania; Mazzanti, Franco; Paolini, Luca
 SCIENCE OF COMPUTER PROGRAMMING,  2019
 Damiani, Ferruccio; Lienhardt, Michael; Paolini, Luca
 SCIENCE OF COMPUTER PROGRAMMING,  2019
 Paolini, Luca; Roversi, Luca; Zorzi, Margherita
 ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
 2018 Joint International Workshop on Linearity and Trends in Linear Logic and Applications, Linearity-TLLA 2018
 2019
 Paolini L.; Piccolo M.; Zorzi M.
 JOURNAL OF AUTOMATED REASONING,  2019
 Ter Beek M.H.; Damiani F.; Lienhardt M.; Mazzanti F.; Paolini L.
 ACM International Conference Proceeding Series, 
 23rd International Systems and Software Product Line Conference, SPLC 2019
 2019
 Damiani F.; Lienhardt M.; Paolini L.
 INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER,  2019
 ter Beek M.H.; Damiani F.; Gnesi S.; Mazzanti F.; Paolini L.
 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 
 15th International Conference on Integrated Formal Methods, IFM 2019
 2019
 MANZONETTO GIULIO, PAGANI MICHELE, RONCHI DELLA ROCCA SIMONETTA
 FUNDAMENTA INFORMATICAE,  2019
 FAGGIAN CLAUDIA, RONCHI DELLA ROCCA SIMONETTA
 Logic in Computer science, 
 Logic in Computer Science
 2019
 Lienhardt, Michael; Damiani, Ferruccio; Donetti, Simone; Paolini, Luca
 ACM International Conference Proceeding Series, 
 12th International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS 2018
 2018
 Luca Paolini, Mauro Piccolo, Luca Roversi
 NEW GENERATION COMPUTING,  2018
 Matos, Armando B.; Paolini, Luca; Roversi, Luca
 CEUR Workshop Proceedings, 
 19th Italian Conference on Theoretical Computer Science, ICTCS 2018
 2018
 Berardi, Stefano; Tatsuta, Makoto*
 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 
 14th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2018 Colocated with ETAPS 2018
 2018
 A. Bucciarelli, D. Kesner, S. Ronchi Della Rocca
 LOGICAL METHODS IN COMPUTER SCIENCE,  2018
 Paolini, Luca; Piccolo, Mauro; RONCHI DELLA ROCCA, S.
 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,  2017
 Berardi, Stefano; de’ Liguoro, Ugo
 FUNDAMENTA INFORMATICAE,  2017
 Felice, Cardone
 Stanford Encyclopedia of Philosophy,  2017
 Giulio Guerrieri; Luca Paolini; Simona Ronchi Della Rocca
 LOGICAL METHODS IN COMPUTER SCIENCE,  2017
 luca paolini
 BULLETIN (NEW SERIES) OF THE AMERICAN MATHEMATICAL SOCIETY,  2017
 luca paolini
 BULLETIN (NEW SERIES) OF THE AMERICAN MATHEMATICAL SOCIETY,  2017
 Berardi, Stefano; Steila, Silvia
 JOURNAL OF SYMBOLIC LOGIC,  2017
 Berardi, Stefano; Tatsuta, Makoto
 LECTURE NOTES IN COMPUTER SCIENCE,  2017
 Berardi, Stefano; Tatsuta, Makoto
 Proceedings - Symposium on Logic in Computer Science, 
 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017
 2017
 Marco Gaboard; Luca Paolini; Mauro Piccolo
 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,  2016
 Paolini, Luca; Piccolo, Mauro; Roversi, Luca
 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 
 ICTCS2015
 2016
 Erika De Benedetti, Simona Ronchi Della Rocca
 INFORMATION AND COMPUTATION,  2016
 Simonetta, Ronchi Della Rocca; Virgil, Mogbil
 INFORMATION AND COMPUTATION,  2016
 Luca Bernardinello; Felice Cardone; Lucia Pomello
 MONDO DIGITALE,  2016
 Alessi, Fabio; Cardone, Felice
 FUNDAMENTA INFORMATICAE,  2016
 Luca Paolini
 BULLETIN (NEW SERIES) OF THE AMERICAN MATHEMATICAL SOCIETY,  2016
 ter Beek, Maurice H.; Damiani, Ferruccio; Gnesi, Stefania; Mazzanti, Franco; Paolini, Luca
 Software Engineering and Formal Methods, 
 13th International Conference on Software Engineering and Formal Methods, SEFM 2015
 2015
 Canavese, D.; Cesena, E.; Ouchary, R.; Pedicini, M.; Roversi, L.
 SCIENCE OF COMPUTER PROGRAMMING,  2015
 BERARDI, Stefano
 24th EACSL Annual Conference on Computer Science Logic,, 
 CSL 2015
 2015
 Stefano, Berardi; Silvia, Steila
 ANNALS OF PURE AND APPLIED LOGIC,  2015
 Berardi, Stefano; Oliva, Paulo; Steila, Silvia
 JOURNAL OF LOGIC AND COMPUTATION,  2015
 Bucciarelli A.; Kesner D.; Ronchi Della Rocca S.
 Typed Lambda Calculus and Applications, 
 Typed Lambda Calculus and Applications
 2015
 Shkaravska, O.; Ronchi Della Rocca, S.; van Eekelen, M.
 SCIENCE OF COMPUTER PROGRAMMING,  2015
 Guerrieri, Giulio; Paolini, Luca; Ronchi Della Rocca, S.
 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015), 
 Typed Lambda Calculus and Applications
 2015
 Cardone, Felice
 Le direzioni della ricerca logica in Italia,  2015
 Cardone, Felice
 HISTORY AND PHILOSOPHY OF LOGIC,  2015
 Cardone, Felice
 Evolving Computability, 
 11th Conference on Computability in Europe, CiE 2015
 2015
 Stefano Berardi; Ugo de'Liguoro
 LOGICAL METHODS IN COMPUTER SCIENCE,  2014
 S. Berardi; P. Oliva; S. Steila
 Proceedings of the 15th Italian Conference on Theoretical Computer Science, Perugia, Italy, September 17-19, 2014., 
 ICTCS
 2014
 S. Berardi; S. Steila
 19th International Conference on Types for Proofs and Programs (TYPES 2013), 
 TYPES 2013
 2014
 S. Berardi; S. Steila
 Rewriting and Typed Lambda Calculi - Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings, 
 RTA-TLCA 2014
 2014
 L. Roversi
 JOURNAL OF LOGIC AND COMPUTATION,  2014
 Baillot P.; De Benedetti E.; Ronchi Della Rocca S.
 Theoretical Computer Science, 
 Theoretical Computer Science
 2014
 Bucciarelli A.; Kesner D.; Ronchi Della Rocca S.
 Theoretical Computer Science, 
 Theoretical Computer Science
 2014
 S. van Bakel; S. Berardi; U. Berger
 ANNALS OF PURE AND APPLIED LOGIC,  2013
 Stefano Berardi; Ugo de'Liguoro
 EPTCS 126 - Fixed Points in Computer Science, 
 Fixed Points in Computer Science (FICS'13)
 2013
 E. De Benedetti; S. Ronchi Della Rocca
 ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
 ITRS 2012
 2013
 Simonetta Ronchi Della Rocca
 2013
 Henk Barendregt; Wil Dekkers; Richard Statman; Felice Cardone; Mario Coppo
 Lambda Calculus with Types,  2013
 Felice Cardone
 HaPoC 2013 History and Philosophy of Computing, 
 HaPoC 2013 History and Philosophy of Computing
 2013
 Stéphane Graham-Lengrand; Luca Paolini
 ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE,  2013
 Luca Paolini
 BULLETIN (NEW SERIES) OF THE AMERICAN MATHEMATICAL SOCIETY,  2013
 Aschieri, Federico; Berardi, Stefano; Birolo, Giovanni
 Leibniz International Proceedings in Informatics, LIPIcs, 
 22nd Annual Conference of the European Association for Computer Science Logic EACSL, CSL 2013
 2013
 Berardi, Stefano; Tatsuta, Makoto
 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 
 11th International Conference on Typed Lambda Calculi and Applications, TLCA 2013
 2013
 Luca Paolini
 BULLETIN (NEW SERIES) OF THE AMERICAN MATHEMATICAL SOCIETY,  2013

Ultimo aggiornamento: 15/06/2020 15:10
Non cliccare qui!