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-2021).
- 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.
Program chair of AIxIA 2022 (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:
- Some invited doctoral courses/Talks/Tutorials:
- Tutorial: Il problema del Protein Folding
e i relativi approcci basati su programmazione con vincoli, CILC 2004, Convegno Italiano
di Logica Computazionale, Parma.
- Talk: How Logic Programming can Fold a Protein
Doctoral consortium, ICLP 2011, Lexington, Kentucky.
- Course: Constraints and Biology
ACP Summer School, Wroclaw, Poland, 2012.
- Course: Prolog for Beginners
Summer School on Computational Logic, Genova, 2015.
- Tutorial: Constraints and Bioinformatics: Results and Challenges
CP 2015, Cork, Ireland.
- Talk: Exploring Life through Logic Programming
INFORMATIK 2016, TAASP workshop, Klagenfurt, Austria, 2016.
- Talk:
The role of SAT, CP, and Logic Programming in Computational Biology
Joint Conferences ICLP, SAT, CP 2017, Melbourne.
- Tutorial: The SATisfiability problem and its impact
34th Italian Conference on Computational Logic, Trieste, 2019.
- Course: Constraint Programming
Autumn School on Logic and Constraint Programming,
2021 Porto, Portugal
- 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)