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