Logica e Informatica



 
 

Informatica Teorica e sue applicazioni


 
Crittografia, Calcolo distribuito, Teoria computazionale dei numeri, Numeri di Pisot, Metodi computazionali in Biologia

Linguaggi di programmazione

Membri:

Roberto MAIELI : teoria della dimostrazione, logica lineare; reti di dimostrazione; fondamenti logici di paradigmi di sistemi e di linguaggi di programmazione
Marco PEDICINI : Informatica teorica, crittografia, sicurezza informatica, calcolo distribuito, teoria dei numeri computazionale, numeri di Pisot e applicazioni, metodi computazionali per la biologia.

Copyright© 2014 Dipartimento di Matematica e Fisica