IN410 - Modelli di Calcolo - AA 2017-2018

Prof. Marco Pedicini


Questo è il sito web del Corso Modelli di Calcolo attivo presso il Corso di Laurea in Scienze Computazionali del Dipartimento di Matematica e Fisica 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; una raccolta di esercizi svolti (in preparazione) utili per chiarire gli argomenti trattati durante le lezioni e per prepararsi alle prove scritte; alcuni riferimenti bibliografici ai 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.


Marco Pedicini - Professore Associato di Informatica

Marco Pedicini
  • 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.
  • Attività didattica corrente:
    Algoritmi per la Crittografia, Calcolabilità e Complessità, Università 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 13.30 alle 15.00 studio 308 edificio C sede San Leonardo Murialdo 1.
  • Indirizzo:
    Largo San Leonardo Murialdo 1 - 00146 Roma, Dipartimento di Matematica e Fisica, pal. C, stanza 308 (terzo piano)
  • Telefono:
    +39 06 5733-8519
  • 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".

Paolo Pistone - Assegnista di Ricerca

Paolo Pistone
  • Formazione:
    Dottorato in cotutela in Matematica (Université d'Aix-Marseille, I2M) e Filosofia (Università Roma Tre, Dip. Fil.Co.Spe.); Laurea in Filosofia, Università Roma Tre.
  • Interessi:
    Logica Matematica, Teoria della Dimostrazione, Logica Lineare, Polimorfismo.
  • Attività didattica corrente:
    Esercitatore per il corso di Informatica 2 - Modelli di Calcolo, Università Roma Tre.
  • Attività didattica passata:
    Esercitatore per il corso di Informatica 2 - Modelli di Calcolo, Università Roma Tre. Algèbre Linéaire, Logique, Logique et théorie du calcul, Logique et calculabilité, Introduction aux mathématiques, Postulats d'existence en mathématiques (2015-2016), Université d'Aix-Marseille.
  • Ricevimento:
    studio 04 edificio C sede San Leonardo Murialdo 1.
  • Indirizzo:
    Largo San Leonardo Murialdo 1 - 00146 Roma, Dipartimento di Matematica e Fisica, pal. C, stanza 04 (piano terra)
  • e-mail:
    paolo.pistone@uniroma3.it
  • Altre Informazioni:
    Tournée de π