Marco Maratea - Home Page

Since December 2010, I am Assistant Professor at the Faculty of Engineering (since 2012, Polytechnic School) of the University of Genova, Italy, affiliated with DIBRIS (formerly DIST).

In December 2013 and January 2014 I obtained the habilitation to Associate Professor in the classes "Computer Engineering" (Italian classification: settore concorsuale 09/H1 "Sistemi di Elaborazione delle Informazioni") and "Computer Science" (Italian classification: settore concorsuale 01/B1 "Informatica"), respectively.

From March 2007 to February 2010 I have been Research Associate at DIST at the Faculty of Engineering of the University of Genova in E. Giunchiglia.'s group.

From October 2005 to December 2006 I was working as Research Associate at the Department of Mathematics of the University of Calabria in N. Leone's group, where I was Professor on contract at the Faculty of Sciences until September 2007, and then again from October 2009 to September 2010 at the Faculty of Humanities.

I received the master degree in computer science and engineering and the PhD degree from the University of Genova in April 2001 and June 2005, respectively. My advisor was E. Giunchiglia.

I worked with Prof. V. Lifschitz in the Department of Computer Science at the University of Texas at Austin from Janaury to April 2003 on Answer Set Programming, in particular on the integration of Cmodels and SIMO.

I also worked with Prof. D. Dill in the Department of Computer Science at the Stanford University at Stanford from February to May 2004.

At the moment, I am working on

  • the relation between ASP and SAT procedures with E. Giunchiglia and N. Leone. See our AMAI paper!
  • (look-back) tecnhniques and heuristics for disjunctive logic programming with W. Faber, N. Leone and F. Ricca . See our LPNMR 2007, J. Algorithms and Fundamenta Informaticae papers!
  • decision procedures for satisfiability problems with preferences with E. Giunchiglia. See the OPTSAT and nOPTSAT systems home pages, and our ECAI 2006, ECAI 2008, CP 2008 and Constraints papers!
  • planning as satisfiability with preferences with E. Giunchiglia. See our AAAI 2007 and JLC papers!



  • Talks

    Others Informations

  • Personal Informations
    Contact me at:

    Home address

    Office address at Genova


    home page:

    Last modified: Sun Jan 5 2014