RESEARCH I am currently working on Boolean Satisfiability (SAT), Satisfiability Modulo Theories (SMT) and their applications (I am one of the members of the LOGPROG Research Group, and collaborator of Barcelogic). I have also worked on invariant inference for system verification. Conference papers Journal papers Seminars and other talks Research activities TEACHING Data Structures and Algorithms (Bachelor in Informatics Engineering) Algorithms (Bachelor in Mathematics) Combinatorial Problem Solving (Master in Innovation and Research in Informatics)