Research Activity
My Google Scholar Web Page
and my
Scopus
and my
OpenALex
and my
DBLP
entries
Current positions (for previous positions see my
CV):
- Editor of ALP Newsletter (since 2010)
- Track editor (Constraints and Bioinformatics) of
ALMOB Algorithms for molecular biology (Since 2012)
- Advisory Board Member of
Theory and Practice of Logic Programming
(Since 2024)
- Program chair of ICLP 2012 and
General Chair of ICLP 2008.
Program chair of AIxIA 2022 and of
CILC 2023
- Complete list of PC MEMBERSHIPs
- Coordinator of the Lab of Constraint and Logic Programming
of the University of Udine
- My research interests include(d):
- 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 (as usual, to be completed)