Luca PAOLINI, PhD

Ricercatore Confermato
(Permanent Assistant Professor)

Dipartimento di Informatica,
Università di Torino,
Ufficio 43,
Corso Svizzera 185, I-10149 Torino, Italy
Phone: +39 011 6706826
Fax: +39 011 751603
E-mail: paolini<AT>di.unito.it

RESEARCH

Publications: Uni.TO IRIS, Papers (by date), Papers (by kinds);
Publications in other DB: AMS Publications, Published ams-MathReview, ACM Portal, DBLP, Aper.TO DB, ResearchGate, GOOGLE Scholar, Microsoft Research, ORCID, Elsevier Scopus, Thomson Reuters ResearcherID, AMiner.

Book Information: The Parametric Lambda Calculus. A Metamodel for Computation.

Conferences and Meetings: Linearity 2014, ITRS 2014, LSFA 2013, ITRS 2012 (Chair), LSFA 2012, IC0901-meeting 2011, LSFA 2011, LSFA 2010, Linearity 2009 , RDP09: TLCA 2009, LSFA 2009, LSFA 2008 .
Summer Schools Teaching: International School on Rewriting - ISR'09 (Brazil, 2009) (Slides -- 29 June 2009), International Summer School Chambery-Torino 2006 (Slides).
Editing: Problem List - TLCA , Special Issue of EPTCS with Stéphane Lengrand, Special Issue of Fundamenta Informaticae with Silvia Ghilezan, Special Issue of "Logical Methods in Computer Science" with Patrick Baillot and Pierre-Louis Curien.
Projects: Aggregate Programming 2019 San Paolo Project, Reversible Computation - Extending Horizons of Computing 2015 ICT COST Action IC1405, EUTYPES EC-COST Action CA15123 , RunVAR San Paolo Project, HyVar EC H2020 RIA project, LINTEL project , Metodi logici per il trattamento dell'informazione" PRIN 2010-11, “ Sharing and Sequentiality in Proof Systems with Locality"2012-2014 UK Exchanges Scheme, Rich Model Toolkit - IC0901, French PICS "Logique linéaire et applications" project CONCERTO, TYPES, FOLLIA, DART, PROTOCOLLO, APPSEM2, COMETA, TOSCA, LINEAR.
Project Management: 2018-2020 Project Leader of "Fondazioni logiche della computazione" (ric. Locale), Leader of Task "Formal syntax ans semantics of DSVL" (T2.2) of HyVar 2015, 2013-15 Project Leader of "Unconventional Computing Models" (ric. Locale), Project Leader of LINTEL project, MC Substitute Member of Rich Model Toolkit - IC0901 .
Interest: Mathematical Study of Syntax and Semantics of Programming Languages: lambda-calculus, PCF, IA, QPCF, coherence spaces, ...
Unconventional Computing Models: Reversible Computing, Quantum Computing, Probabilistic Computing, Analog Computing, ...
Syntax and Semantics of logic: lambda-calculus, linear, intuitionistic, classic ....

Research Notes: Semantics of PCF , Call-by-Value Lambda-Calculus
A Curriculum
Old Home Pages: IML-WebPage(Marseille) , DISI-WebPage (Genova)

TEACHING (Insegnamento)

Miscellaneous