UniBo's logo
home
contact
teaching
publications
talks
 
Official home page
 
INRIA FOCUS
 
 
IACAP 14
LINEARITY 2014
HAPOC 2013
 
PhD Program in CS
Collegio Superiore
 
Olimpiadi di Problem Solving
 
 
Università di Bologna
Dipartimento di Informatica — Scienza e Ingegneria
 
Simone Martini
Simone
Simone Martini
Professor of Computer Science
Research Team FOCUS ( Inria / University of Bologna)
 

 

Simone Martini received the Laurea degree in Scienze dell'Informazione and the Dottorato di Ricerca in Informatica (Ph.D. in Computer Science) from Università di Pisa. Before joining Università di Bologna in 2002, he has been Research Associate and Associate Professor at Università di Pisa and Professor of Computer Science at Università di Udine.

He has been a visiting scientist at the Systems Research Center of Digital Equipment Corporation, Palo Alto; at Stanford University; at École normale supérieure, Paris; at Université de Paris Nord; and at University of California at Santa Cruz .

He has been a member of the Board of the European Association for Computer Science Logic (EACSL) and of the Executive Board of the Associazione Italiana di Logica e Applicazioni (AILA).

His research interests are in the logical foundations of programming languages. He has written papers in lambda-calculus, type theory, linear logics, and implicit computational complexity.

His Erdös number is 3.

  Valid HTML 4.01 Transitional Valid CSS!