Fondazioni logiche della computazione
Componenti
- Berardi Stefano (Coordinatore)
- Cardone Felice (Componente)
- De' Liguoro Ugo (Componente)
- Paolini Luca Luigi (Componente)
- Roversi Luca (Componente)
- Treglia Riccardo (Collaboratore/Collaboratrice)
- (Collaboratore/Collaboratrice)
- Ronchi Della Rocca Simonetta (Componente)
- Margherita Zorzi (Collaboratore/Collaboratrice esterno)
Contatti
- + 39 011 670 6750
- stefano@di.unito.it
- Scrivi a tutti i 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.
- (2016-oggi) (Berardi, de' Liguoro) The European research network on types for programming and verification (EUTypes)
- (2014-oggi) Cardone, Paolini, Roversi membri del "Center for Logic, Language, and Cognition",
- (2013-2015) "Linear Techniques For The Analysis Of Languages (LINTEL)" TO_Call1_2012_0085 con responsabile Paolini,
- (2012-2015) PRIN "Metodi Logici per il trattamento dell'informazione" con coordinatore locale Berardi,
- (2012-2014) Royal Society’s joint project "Sharing and Sequentiality in Proof Systems with Locality" in collaborazione con la University of Bath e coordinatore locale Roversi,
- (2010-2012) INRIA’s equipe associeé "Contrôle des Ressources par Interprétations Sémantiques et Théorie de la démonstration Linéaire (CRISTAL)" con coordinatrice locale Ronchi Della Rocca,
- (2010-2012) CNRS Project International de Coopération Scientifique "Logique Lineaire et applications (PICS)" con coordinatrice locale Ronchi Della Rocca,
- (2007-2009) PRIN "Control and Certification of Resources" con coordinatrice nazionale Ronchi Della Rocca,
- MCTAAP 2008H49TEH_002 (2010-2012) con coordinatore locale Berardi,
- (2004-2007) EU 6th framework programme con coordinatore locale Berardi,
- (2004-2006) PRIN "Logical Foundations of Abstract Programming Languages (FOLLIA)" con coordinatrice nazionale Ronchi Della Rocca,
- (2000-2006) MCTAAP projects, con coordinatore locale Berardi,
- (2002-2004) PRIN "From Proofs to Computation Through Linear Logic (PROTOCOLLO)" con coordinatrice nazionale Ronchi Della Rocca.
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