Simone Martini

Institution:
Università di Bologna (Italy)
Dipartimento di Scienze dell’Informazione

Position:
Full Professor (since 1994)

Research:
- logical foundations of programming languages;
- computer science logic;
- implicit computational complexity;
- linear logic.

Email:
martini@cs.unibo.it

Website:
http://www.cs.unibo.it/~martini/contact.html

Titolo: ISTITUTO INTERNAZIONALE PER LA MATEMATICA APPLICABILE E LE SCIENZE DELL'INFORMAZIONE Codice Progetto: RBIN04M8S8 Decorrenza: 26/08/2007 - Termine: 26/12/2011