His research interests include several computer-aided design of integrated circuits and systems aspects, with particular emphasis on synthesis, optimization, and formal verification. Macii has a DrEng in electrical engineering and a PhD in computer engineering from Politecnico di Torino, Italy, and a DrSc in computer science from Universita diTorino.