Alessandro Pinto is a researcher in the Systems Department at the United Technologies Research Center (UTRC), Inc., Berkeley, California. His research interests are in the area of computer aided design for cyber-physical systems. He received a Ph.D. degree in Electrical Engineering and Computer Sciences from the University of California at Berkeley in 2008, and a M.S. degree in Electrical Engineering in 2003 from the same University. He holds a Laurea degree from the University of Rome “La Sapienza”. In 1999, he spent one year as a consultant at Ericsson Lab Italy in Rome, Italy, working on the design of systems-on-chips. He consulted for the same company from 2000 to 2001, developing system-level design flows for wireless access networks.