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
Recent
Classes
Present
Graduate Students
- Alvise
Bonivento
- Abhijit Davare
- Douglas Densmore
- Yanmei Li
- Kelvin Lwin
- Mark McKelvin
- Trevor Meyerowitz
- Alessandro Pinto
- Xuening Sun
- Guoqiang Wang
- Guang Yang
- Yang 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 (
- Jontae Gray (
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, - 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, - July 1980-1983
Associate Professor, Department of Electrical Engineering and Computer Sciences, - 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, - September 1981-December 1981
Consultant in Residence, Harris Semiconductors Division of Harris Corporation - June 1982
Visiting Professor, - September 1982-July 1985
Vice-Chairman, Department of Electrical Engineering and Computer Sciences. - June 1984
Visiting Professor, - June 1985
Visiting Professor, - June 1986
Visiting Professor, - August 1987-December 1987
Visiting Professor, Department of Electrical Engineering and Computer Sciences, MIT, Cambridge, Mass. - June 1991
Visiting Professor, - May 1992
Visiting Professor, - September 1992-January 1993
Visiting Professor, - January 1994-July 1994
Visiting Professor, - January 1995-July 1995
Visiting Professor, - January 1996-July 1996
Visiting Professor, - 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, - 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, Value Partners, UPEK 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,
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 - 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,
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,
- Best Paper Award 1982 Design Automation
Conference,
- Best Presentation Award, 1982 Design Automation
Conference,
- 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,
- 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,
- 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,
- 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
- 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
- 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
40th Design
Automation Conference Key Note Address 2003