Research on "Formal Methods in Computing"
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.
- 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 ....
TEACHING (Insegnamento)
Corsi recenti:
Corsi passati:
Informatica (2018/2019),
Alternative Computing Paradigms: reversible and quantum (2018/19),
Reti di Calcolatori (2018/2019),
Informatica Avanzata (2018/2019),
Informatica (2017/2018),
Alternative Computing Paradigms: reversible and quantum (2017/18),
Informatica Avanzata (2017/2018),
Informatica (2016/2017),
Alternative Computing Paradigms: reversible and quantum (2016/17),
Informatica (2015/2016),
Alternative Computing Paradigms: reversible and quantum (2015/16),
Informatica (2014/2015),
Foundational principles of reversible and quantum computing (2014/15),
Informatica (2013/2014),
Foundational principles of reversible and quantum computing (2013/2014),
Informatica (2012/2013),
Denotational Semantics (2012/13),
Informatica (2011/2012),
Semantica dei Linguaggi di Programmazione (2011/2012),
Linguaggi Formali e Traduttori (2010/2011),
Corso di Programmazione II e Laboratorio (2009/2010),
Corso di Programmazione II e Laboratorio (2008/2009),
Corso di Programmazione II e Laboratorio (2007/2008),
Corso di Programmazione II e Laboratorio (2006/2007),
Corso di Programmazione II e Laboratorio (2005/2006),
Programmazione in PERL per il Master di BioInformatica (Fondazione per le Biotecnologie, 2006),
Programmazione in PERL per il Master di BioInformatica (Fondazione per le Biotecnologie, 2005).
Miscellaneous
- Research Groups Partecipation:
System Modelling, Verification and Reuse,
Logical Foundations of Computation
;
- Science:
Conferences Search,
DBbibTeX,
Citeseer,
MathSciNet,
Cambridge University Press
;
- Journey: Die Bahn,
Trenitalia,
Google Map,
MoneyConverter;
- OS support: Android,
Freshmeat , TuxMobil, Pluto-ILDP, Laptop.
|