Research Activity

• My research interests include:
  • Computational Biology --- see also:
    • Workshop on Constraint Based Methods for Bioinformatics WCB05, WCB06, WCB07, WCB08, WCB09, WCB10, WCB11, WCB12.
    • Special issue of Constraints Journal on Constraint and Bioinformatics
    • International School on Biology, Computation and Information BCI 2005, BCI 2006, BCI 2007, and BCI 2010.
  • Declarative approaches to NP-completeness.
  • Programming with sets and multisets and Computable Set Theory, and (constraint) programming language design,
  • web-like databases and related graph algorithms.
• From January 2010, (co) editor of the ALP Newsletter
• General Chair of ICLP 2008 (see here other PC memberships)
• Leader of the Udine Constraint Logic Programming Group
• Project coordinator:
  • GNCS 2005: (National Coordinator)
    Sviluppo di risolutori di vincoli e loro applicazioni in teoria dei codici e bioinformatica.
  • FIRB 2003 (RBNE03B8KK): (Coordinator of the Udine unit)
    Il riconoscimento molecolare nelle interazioni proteina-ligando, proteina-proteina e proteina superficie: sviluppo di approcci sperimentali e computazionali integrati per lo studio di sistemi di interesse farmaceutico.
  • PRIN 2005 (2005015491). Coordinator of the Udine unit
    Vincoli per la programmazione con insiemi, l'analisi di sistemi con automi, il ragionamento su intervalli e la bioinformatica.
  • PRIN 2008 (20089M932N). Coordinator of the Udine Unit:
    Innovative and multi-disciplinary approaches for constraint and preference reasoning.
• Member of
  • Executive committee of GULP - Gruppo Ricercatori e Utenti Logic Programming
  • Executive committee of the Association for Logic Programming
  • AgentLink European Coordination Action for Agent-based Computing.
  • AI*IA Associazione Italiana per l'Intelligenza Artificiale.
  • November 2005-December 2009. Area editor (Applications of Logic and Constraint Programming) of the ALP Newsletter
  • 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 Google Scholar Web Page
• Most of my papers can be found here:
  • International Journals
  • Book Chapters, Monographs, Other Journals
  • International Conferences with copyright
  • International or Italian Conferences without copyright
  • International Workshops
  • Or here: DBPL.
  • Or here: ACM Portal.
  • Use the Publish or perish software to rate your teachers. (March 2011: h-index 18). See also The h Index for Computer Science or the community I am researcher.
• My PHD-Students
• My co-authors