An Electronic's graduate of Politecnico di Milano and Ph.D. Computer Sc. graduate of University of California, Los Angeles, he is a full professor of computer science at Politecnico di Milano, where he teaches formal languages and compiler technology and leads the homonimous research group. His research addressed languages, compilation, software technology and related theories. Recent R&D achievements address dynamic compilation for VLIW processors, a Java Virtual Machine for Micro-Edition CLDC, and a JIT compiler for the DotNet framework. Late theoretical contributions concern picture grammars and pattern recognition, and loop parallelization models based on partial commutation.
He is in the board of the Eur. Science Foundation programme on automata theory from mathematics to application (AutoMathA, www.esf.org). He has served in the board of administration of Politecnico di Milano and supervised for many years the Ph.D. program in Information Technology. He has collaborated and visited with leading universities and industrial companies in Europe and the U.S.