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
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