Autori & Autrici

Duccio Pianigiani lavora come ricercatore presso il Dipartimento di Ingegneria dell'Informazione e Scienze Matematiche dell'università di Siena e insegna come docente di Logica in vari corsi di laurea attivati presso quel'ateneo. I suoi interessi spaziano dalla logica della dimostrabilità, al lambda calcolo, agli intrecci fra teoria della computabilità e teoria della complessità algoritmica.