Research Activity
- My Google Scholar Web Page
and my
Scopus
and my
DBLP
entries
- (co) editor of the
ALP Newsletter, Since January 2010
- Member of the 01/B1 ASN Board (2018-2020).
- Track editor (Constraints and Bioinformatics) of
ALMOB Algorithms for molecular biology (Since 2012)
- Area Editor (Constraint Logic Programming) of
Theory and Practice of Logic Programming
(Since 2016)
- President of
GULP - Gruppo Ricercatori e
Utenti Logic
Programming, italian association for logic programming (Dec 2012-Dec 2018)
- Program chair of ICLP 2012 and General Chair of ICLP 2008 (see here other PC MEMBERSHIPs)
- Coordinator of the Lab of Constraint and Logic Programming of the University of Udine.
- National projects coordination: FIRB 2003, PRIN 2005 and 2008,
GNCS 2005 and 2015.
For details and other projects:
click here
- Area editor: Applications of Logic and Constraint Programming for ALP Newsletter: 2005-2009
- Member of
Executive committee of
GULP - Gruppo Ricercatori e
Utenti Logic
Programming (June 2000-Dec 2012)
- Member of
Executive committee of
the
Association for Logic Programming
(2008-2012)
- My research interests include:
- Most of my papers can be found here:
- My position in the Mathematics Genealogy Project (some of my ancestors:
M. Davis, A. Church, S. Poisson, J.L. Lagrange, L. Euler, J. Bernoulli, etc.)
- My
PHD-Students
- My
co-authors (to be completed)