Research Interests

Logic synthesis and testing for combinatorial circuits

Approximate logic synthesis

Logic synthesis for emerging technologies

Decomposition and factorization of Boolean functions

Synthesis of regular and symmetric functions

Hardware security primitives

Boolean techniques for security protocols

Error resilient data structures

Curriculum Vitae


Recent Research projects

Principal Investigator for University of Milan: European Community H2020-MSCA-RISE-2015: "NANOxCOMP: Synthesis and Performance Optimization of a Switching Nano-crossbar Computer". Total funding EUR 724,500

Participant: Italian PRIN research project "AMANDA: Algorithmics for MAssive and Networked DAta". Total funding EUR 334,276