Udine & India
Research projects in applicable mathematics and information sciences
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