She received her PhD in Computer Science from the University of Catania in 2003. Her main research interests and activity regard tableau based deduction systems, decision procedures in elementary set theory and non classical logic, and interactive theorem proving. See her webpage for more details.