Maria is a Professor of Computer Science at the Università degli Studi di Verona. Previously she was first Assistant Professor and then Associate Professor at the University of Iowa, where she received NSF RIA and CAREER awards and a Dean Scholar Award. Maria was a postdoc at INRIA Lorraine and at the Argonne Natiional Laboratory. She received a PhD from SUNY Stony Brook, and a Dottorato di Ricerca and a Laurea from the Università degli Studi di Milano. Her research area is automated reasoning. She gave over 120 talks or lectures, authored over 70 peer-reviewed papers, and edited two books and three journal issues. She was Visiting Professor or Visiting Research Scholar at the Isaac Newton Institute in Cambridge, the University of Manchester, Microsoft Research Redmond, and TU Dresden. Maria was invited speaker at PPDP, FroCoS, and TABLEAUX. She serves regularly on the PC of CADE, IJCAR, and other conferences. She was CADE PC Chair in 2013. Maria was elected thrice to the CADE Board of Trustees, and twice President.