Alberto Sangiovanni-Vincentelli

Dr. Ing., Politecnico di Milano                                                                                            

The Edgar L. and Harold H. Buttner Chair of Electrical Engineering
(510) 642-4882
alberto@eecs.berkeley.edu
 

Research Projects

Recent Classes

• EE249 for Fall 2004
• EE219A for Fall 2003

Present Graduate Students

• Alvise Bonivento
• Rong Chen
• Abhijit Davare
• Fernando De Bernardinis
• Douglas Densmore
• Farinaz Koushanfar
• Simone Gambini
• Yanmei Li
• Cong Liu
• Kelvin Lwin
• Mark McKelvin
• Trevor Meyerowitz
• Alessandro Pinto
• Guoqiang Wang
• Guang Yang
• Haibo Zeng
• Wei Zheng
• Qi Zhu

Present Postdocs and Associate Researchers

• Yun Cao (Post Doc)
• Max Chiodo (GM-Quantech)
• Daniele Gasperini (Politecnico di Milano)
• Paolo Giusto (GM-Quantech)
• Jens Harnish (Infineon, Visiting Industrial Fellow)
• Shinjiro Kakita (Sony, Visiting Industrial Fellow)
• Sri Kanajan (GM, Visiting Industrial Fellow)
• John Moondanos (Intel, Visiting Industrial Fellow)
• Roberto Passerone (Cadence)
• Claudio Pinello (GM-Quantech)
• Yosinori Watanabe (Cadence)

Recent Postdocs and Associate Researchers

• Massimo Baleani
• Edoardo Charbon (Post Doc)
• Gregor Goessler (Post Doc)
• Alessandra Nardi (Post Doc)
• Luigi Palopoli (Post Doc)
• Marco Sgroi (Post Doc)
• Laura Vanzago
• Stefano Zanella (Visiting Scientist)

Administrative Assistants

• Donatella Santillo (Rome)
• Dan MacLeod (Berkeley)
• Deidre Murphy (Cadence, email: deidre (at) cadence dot com)

Fields of Specialization

Design technology, Computer-aided analysis and design, Embedded System Design, Formal Verification, Hybrid Systems.
 

Professional Background

• November 1970-November 1971
  Research Assistant, Politecnico di Milano, Milano (Italy).
•  November 1971-November 1974
  Lecturer of Electrical Engineering, Politecnico di Milano.
•  November 1974-November 1976
  Professore Incaricato of Electrical Engineering, Politecnico di Milano.
•  July 1975- December 1975
  Research Associate, Department of Electrical Engineering and Computer Sciences, University of California, Berkeley.
•  September 1976-June 1977
  Visiting Assistant Professor, Department of Electrical Engineering and Computer Sciences, University of California, Berkeley.
•  July 1977- June 1980
  Assistant Professor, Department of Electrical Engineering and Computer Sciences, University of California, Berkeley,
•  July 1980-1983
  Associate Professor, Department of Electrical Engineering and Computer Sciences, University of California, Berkeley.
•  July 1983-present
  Professor, Department of Electrical Engineering and Computer Sciences, University of California, Berkeley.
• January 1984-present
  member, Berkeley Roundtable for the International Economy.
•  March 1980-December 1980
  Visiting Scientist, IBM T.J. Watson Research Center.
•  September 1981-December 1981
  Consultant in Residence, Harris Semiconductors Division of Harris Corporation
•  June 1982
  Visiting Professor, University of Turin
•  September 1982-July 1985
  Vice-Chairman, Department of Electrical Engineering and Computer Sciences.
•  June 1984
  Visiting Professor, University of Pavia
•  June 1985
  Visiting Professor, University of Bologna
•  June 1986
  Visiting Professor, University of Bologna
•  August 1987-December 1987
  Visiting Professor, Department of Electrical Engineering and Computer Sciences, MIT, Cambridge, Mass.
•  June 1991
  Visiting Professor, University of Pisa
•  May 1992
  Visiting Professor, University of Rome, Tor Vergata
•  September 1992-January 1993
  Visiting Professor, University of Rome, La Sapienza
•  January 1994-July 1994
  Visiting Professor, University of Rome, La Sapienza
•  January 1995-July 1995
  Visiting Professor, University of Rome, La Sapienza
•  January 1996-July 1996
  Visiting Professor, University of Rome, La Sapienza
•  September 1996-present
  General Manager, Cadence European Laboratories
•  September 1996-present
  Scientific Director, Project on Advanced Research of Architectures and Design of Electronic Systems (PARADES), a European Group of Economic Interest among Cadence, Magneti-Marelli and SGS-Thomson
•  September 1996-September 1997
  Visiting Professor, University of Rome, La Sapienza.
• May 1999-present Chief Technology Adviser, Cadence Design Systems

Consulting Experience

He was a co-founder of Cadence and Synopsys, the two leading companies in the area of Electronic Design Automation. He was a Director of ViewLogic and Pie Design System and Chair of the Technical Advisory Board of Synopsys. He is the Chief Technology Advisor of Cadence Design System. He is a member of the Board of Directors of Cadence, Sonics Inc., Accent, a ST Microelectronics-Cadence joint venture, and Gradient. He is a member of the Scientific Advisory Committee of General Motors, of the Strategic Technology Advisory Board of HP, of the Technology Council of ST, of the Scientific Board of Fondazione Tronchetti-Provera, and of the Industrial Advisory Board of Project Electra, Trieste . He is a founder of the Cadence Berkeley Laboratories. Dr. Sangiovanni-Vincentelli was the founder of the Kawasaki Berkeley Concept Research Center, where he held the title of Chairman of the Board. He consulted for a number of US companies including IBM, Intel, ATT, Actel, GTE, GE, Harris, Nynex, Teknekron, DEC, HP, United Technology, Japanese companies including Kawasaki Steel, where he held the title of Chief Technology Advisor, Fujitsu, Sony and Hitachi, and European companies including SGS-Thomson Microelectronics, Alcatel, Daimler-Benz, Ericsson, Magneti-Marelli, BMW, Bull. He is the Scientific Director of the Project on Advanced Research on Architectures and Design of Electronic Systems (PARADES), a European Group of Economic Interest supported by Cadence, Magneti-Marelli and ST Microelectronics. He is on the Advisory Board of the Lester Center of the Haas School of Business and of the Center for Western European Studies and a member of the Berkeley Roundtable of the International Economy (BRIE).  

He is the author of more than 650 papers and 15 books in the area of embedded and hybrid systems, IC design methodologies and tools.

Editorial Activities

• Associate Editor, IEEE Trans. on Circuits and Systems, (1979-1981).
•  Associate Editor, IEEE Trans. on CAD of Int. Circ., (1981-1984).
•  Member of the editorial board, IEEE Design and Test, (1984-1989).
•  Member of the editorial board, Transactions of the Society of Computer Simulation (1983-present)
•  Member of the editorial board of Alta Frequenza (1984-1989).
•  Member of the Scientific Board of the European Transactions on Telecommunications and Related Technologies.(1989-present)
•  Member of the editorial board of "JETTA" (1988-present)
•  Member of the editorial board of the "Journal of Formal Verification" (1991-present)
•  Guest Editor, Special Issue on CAD for VLSI, IEEE Trans. on Circuits and Systems, July 1981.
•  Guest Editor, Special Issue on Design Automation, IEEE Transactions on Computer-aided Design of ICAS, July 1985, Oct. 1986, Sept. 1987, Nov. 1987.
•  Guest Editor, Special Issue on Statistical Design, IEEE Transactions on Computer-aided Design of ICAS, January 1986.
•  Guest Editor, Special Issue on HICCS, IEEE Transactions on Computer-Aided Design of ICAS, Jan.1991.
•  Technical Program Committee Chairperson, International Workshop on Logic Synthesis, Research Triangle Park, MCNC, North Carolina, May 1987, May 1989, May 1991.
•  Guest Editor, Algorithmica, Special Issue on Simulated Annealing, 1991.
•  Member of the Program Committees of International Symposium on Circuits and Systems, Custom Integrated Circuit Conference, Design Automation Conference, International Conference on Circuits and Computers, International Symposium on VLSI Technology, Systems and Applications, International Conference on Computer-Aided Design, Technical Program Committee Chair for 1989, Conference Chairman, 1990, Euro-DAC, 1991-1992, Workshop on Computer-Aided Verification, 1993, Hardware-Software Co-design Workshop, Member of Technical Committee.

Advisory Role to Governments and Scientific Organizations

• August 1983
  Testimony to the US House of Representatives on Competitiveness of American Industry
•  June 1985-present
  Member of Scientific Advisory Council for the Special Project of the Italian National Science Foundation (CNR) on Materials and Devices for Micro-Electronics;
•  June 1991
  Consultant to Danish Ministry of Trade and Industry on High-Technology Programs in the ECC;
•  February 1992-January 1998
  Member of the International Advisory Board of the Institute for Micro-electronics, Singapore, (with Dr. M. Melliar-Smith,CTO ATT Micro-electronics, Chairman, Dr. P. Pistorio, SGS-Thomson, CEO, Mr. Kawanishi, Toshiba, Senior Executive Vice-President, Dr. Fischer, Siemens, Executive Vice-President).
•  June 1992-present
  Member of the advisory board of the Lester Center for Entrepreneurship and Management of Technology of the Haas School of Business Administration (with, among others, William Hambrecht, Gary Rogers, Charles Schwab and Larry Sonsini), University of California at Berkeley.
•  June 1992-present
  Member of the Advisory Board of the Center for Western European Study, University of California, Berkeley

Honors and Awards

• Mattioli Awards 1965 - 1971;
• Phillips Awards 1970-1971 for the best student in Electrical Engineering and Computer Sciences at the Politecnico di Milano
•  Italian Government Fellowships 1971-1974,
•  NATO Junior Fellowship 1975,
•  Fulbright Fellowship 1975,
•  C.N.R. (Italian National Research Council) Fellowship 1976,
•  Blanceflor-Stiftelsen-Ludovisi Fodd Bildt grant 1976,
•  Distinguished Teaching Award, University of California, 1981,
•  Best Paper Award 1982 Design Automation Conference, Las Vegas, June 1982
•  Best Presentation Award, 1982 Design Automation Conference, Las Vegas, June 1982
•  IEEE Fellow, January 1983
•  Guillemin-Cauer Award for the best paper of the IEEE Transactions published by the Circuits and Systems Society in the calendar years 1981-1982.
•  Best Paper Award 1983 Design Automation Conference, Miami Beach, June 1983.
•  Distinguished Lecturer of the IEEE Circuits and System Society, 1985-1993
•  Gold Medal of University of L'Aquila for contributions to electronics sciences.
•  Darlington Award for the best paper of the IEEE Transactions published by the Circuits and Systems Society in the calendar years 1986-1987 bridging theory and practice.
•  1989 IEEE CAD Transactions Best Paper Award
•  Best Paper Award 1991 Design Automation Conference, San Francisco, June 1991.
•  Inventor Recognition Award by the Semiconductor Research Corporation for simulated annealing research embedded in the program TimberWolf.
•  Medal of Scuola Sant'Anna, University of Pisa, 1991.
•  Best Paper Awards, VLSI Conference, Banghalore, India, 1994 and 1995.
•  1995 IEEE Graduate Teaching Award (Field Award) for inspirational teaching of Graduate Students.
•  1996-1999 VIP Award of the Italian National Research Council
•  1998 National Academy of Engineering
• CASS Golden Jubilee Medal, given to a set of the IEEE Circuits and Systems Society members in order to express its appreciation for their exceptional contributions toward advancing in various forms the Society's goals during the first fifty years of its existence. 
• Kaufman Award, given by the EDA Industry Council for fundamental contributions to EDA technology and industry.
• 2002 Aristotle Award given by the SRC. The Aristotle Award  recognizes SRC-supported faculty whose deep commitment to the educational experience of SRC students has had a profound and continuing impact on their professional performance and consequently a significant impact for members over a long period of time. The Aristotle Award is intended to acknowledge outstanding teaching in its broadest sense, emphasizing student advising and teaching during the research project thereby contributing to the maturation of the student.
•  Plenary talks at International Conference on Computer Design, December 1986, International Test Conference, October 1988 and International Electron Device Meeting, December 1988, Compeuro, May 1991, MELECOM, September 1991 and May 1996, Key Note Address, Electronic Engineering Forum, 1996, 1997, 1998, Distinguished Lecturer Series, Stanford University, Oct. 1997, Opening Speech at Project Alba, University of Edinburgh, 1998, Key Note Address, IBM Technology Forum, Paris 1998, Key Note Address, VSI Alliance, 1998, Distinguished Lecture Series, University of Maryland, College Park, Dec. 1998, Key-Note Address, International Conference on Computer Design, Oct. 1999; Plenary Talk, Control and Decision Conference, CDC, Dec. 1999, 2000 ISPED plenary talk, Hybrid System Computing and Control Workshop 2000 invited plenary talk, CONCUR 2000, Plenary Talk; RTSS, 2001, Key Note Address; ESSCIRC and ESSDERC joint session, Key Note, 2002; Design Automation Conference, 40th Anniversary, 2003 Key Note Address; Distinguished Lecture, Vanderbilt University, 2003.

Education

• Graduate Dottore in Ingegneria (summa cum laude) (Doctor of Engineering) Politecnico di Milano, 1971.

Professional Societies

• Institute of Electronics and Electrical Engineers (IEEE), elected Fellow on January 1983 for "contributions to circuit simulation and computer aids for the design of integrated circuits".
•  Member of IEEE Circuits and Systems CANDE Committee and of the Large-Scale System Technical Committee, member of the IEEE Large Scale Computational Device Modeling Committee.
•  Executive Vice-President, IEEE Circuits and Systems Society, 1982-1985.
•  Member of the IEEE Circuits and System Society
•  Member of the IEEE Computer Society.
•  Member of the Association for Computing Machinery (ACM)

Publications

Kaufmann Award

Aristotle Award

40th Design Automation Conference Key Note Address 2003