Foto del docente

Simone Martini

Full Professor

Department of Computer Science and Engineering

Academic discipline: INFO-01/A Informatics

Collaborations

Formal collaboration with:: Collegium - Lyon Institute for Advanced Studies
Country:: France
Description:: Research project: A Conceptual History of Programming Languages

Formal collaboration with:: Université Paris 7, Paris 13, ENS Lyon
Country:: France
Description:: International Research Network (IRN) on Linear Logic. Supported by French CNRS and Italian INDAM its purpose is to gather researchers interested in the connections between Linear Logic and other topics.