vai al contenuto
Research
Research Groups:
- Logical Foundations of Computation (Logic),
- System Modelling, Verification and Reuse (MoVeRe),
- Quantum Informatics Laboratory (QuiLab),
- Center for Logic, Language, and Cognition (LLC).
- Some Research Interest: Mathematical
Study of Syntax and Semantics of Programming Languages: lambda-calculus, PCF, IA, QPCF, coherence spaces, ...
Innovative and Unconventional Computing Models: Reversible Computing, Quantum Computing, Probabilistic Computing, Analog Computing, ...
Syntax and Semantics of logic: lambda-calculus, linear, intuitionistic, classic ....
Awards, Fellowships, Acknowledgments:
-
Abilitato come professore di Prima Fascia in LOGICA MATEMATICA E MATEMATICHE COMPLEMENTARI 01/A1 dal 2020. (Abilitato come Professore di Seconda Fascia per lo stesso settore dal 2012).
-
Best Paper Award for Static Analysis of Featured Transition Systems by M. H. ter Beek, F. Damiani, M. Lienhardt, F. Mazzanti, L. Paolini.
In SPLC '19: Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A, ACM 2019.
-
Best Paper Award for A Formal Model for Multi SPLs by Ferruccio Damiani, Michael Lienhardt and Luca Paolini. In: Dastani M., Sirjani M. (eds) Fundamentals of Software Engineering, 2017. Lecture Notes in Computer Science, vol 10522. Springer.
-
Visiting researcher about "Call-by-Value Resource Analysis" at "Computer Laboratory", Oxford University (UK) in collaboration with Professor Luke Ong.
-
Awards for Best Italian PhD Theses in Theoretical Computer Science 2004. Awarded by Italian Chapter of the European Association for Theoretical Computer Science.
-
Assegnista di Ricerca biennale sul tema "Fondazione logica dei tipi intersezione" presso il dipartimento di Informatica dell'Universita di Torino, 2003.
-
Accepted for the participation in the NATO Summer School “Proof and System Reliability” (Marktoberdorf, Germany), allocated by the Advanced Study Institute of the NATO Science
for Peace and Security Programme. 2001
-
Prize for best Degree Thesis on Computer Science of 1998. Awarded by the Università degli Studi di Torino. 1999
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 .
Summer Schools Teaching:
International
School on Rewriting - ISR'09 (Brazil, 2009) (Slides
-- 29 June 2009),
International Summer School Chambery-Torino 2006
(Slides).
Some Projects:
T-LADIES Project PRIN 2020TL3X8X (2022-2025),
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.
Conferences and Meetings Committees: SPLC 2023, SPLC 2022, XXVII AILA, Reversible Computation 2021, SPLC 2021,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 .