Teoria della Computazione e dell'Interazione (TCI - Modelli di Calcolo A.A. 2013-2014)

Questo è il sito web del Corso di Teoria della Computazione e dell'Interazione (TCI) attivo presso il Corso di Laurea Magistrale in Teoria della Comunicazione della Facoltà di Lettere e Filosofia dell'Università Roma Tre.

Su questo sito web potrai trovare informazioni generali sul corso, sui prerequisiti necessari per sostenere l'esame e sul programma degli argomenti che generalmente vengono trattati (possono esserci alcune differenze non sostanziali tra un anno e l'altro); una descrizione sintetica degli argomenti trattati durante le lezioni di questo anno accademico; informazioni sugli esami e sulle prove di esonero che si sono tenute durante questo e durante i precedenti anni accademici; alcuni riferimenti bibliografici a testi consigliati e ad altre fonti utili per approfondire gli argomenti trattati nel corso o altri argomenti correlati; una bacheca con gli annunci e le comunicazioni relative al corso.

Puoi scaricare un documento in formato Adobe Acrobat PDF con la descrizione dei contenuti e dell'organizzazione del corso: 01_presentazione.pdf .

Marco Pedicini Qualifica: Professore Associato di Informatica, Università di Roma Tre. Formazione: Ph.D. "Logique et Fondements de l'Informatique", Dip. Mathematique, Univ. Paris 7; Laurea in Matematica, Università di Roma "La Sapienza", 1991. Interessi: Informatica Teorica, Logica Matematica, Complessità degli Algoritmi. Calcolo Parallelo e Distribuito. Crittografia. Teoria dei Numeri: Pisot Numbers, Metodi Computazionali per la Biologia dei Sistemi. Attività didattica corrente: Algoritmi per la Crittografia, Informatica per l'Editoria e il Giornalismo, Teoria della Computazione e della Interazione, Teoria dell'Informazione Università di Roma Tre. Attività didattica passata: Analisi Matematica I e II (1998-2001), Università degli Studi di Roma "La Sapienza"; Tecniche Informatiche di Base (2000-2005), Modelli di Calcolo (2001-2011), Teoria dell'Informazione (2007-2010) e Crittografia Applicata (2002-2004), Fondamenti dell'Informatica (2007-2009), Informatica per l'Editoria e il Giornalismo (2008-2009), Università Roma Tre. Ricevimento: lunedì dalle ore 14.30 alle 16.00. Indirizzo: Via Ostiense 234 - 00146 Roma Dipartimento di Filosofia, stanza 219 (secondo piano). Telefono: 06 57338519 E-mail: pedicini@mat.uniroma3.it GPG Public Key: MIT Public Key Server: ID=14005F57 Altre informazioni: Responsabile dell'Unità di ricerca presso l'Università Roma Tre del Progetto PRIN2011 Metodi logici per il trattamento dell'informazione (2013-2015). Ricercatore Associato all'Istituto per le Applicazioni del Calcolo "Mauro Picone" del CNR. E' stato responsabile dei progetti bilaterali CNR/CNRS: "Valutazioni Ottimali e Parallele nei Linguaggi Funzionali" e "Interazione e complessità" dell'UO CNR del progetto PRIN 2007 "CONCERTO", del modulo ``INT.P01.007.006 Applied cryptography: analysis and performance of cryptographic primitives'' presso l'Istituto per le Applicazioni del Calcolo (2010 - 2012) nell'ambito del ``INT.P01.007 Trustworthy and Secure Future Internet'' del Progetto ``INT.P01 Sicurezza'' del CNR, e del progetto "Dinamica dei Processi Computazionali" presso l'Istituto per le Applicazioni del Calcolo "M. Picone".