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.