Deadline Extended to Nov.30, 2010
ACM Outstanding Ph.D. Dissertation
Award in Electronic Design Automation
Design automation has gained widespread acceptance by the VLSI circuits and systems design community. Advancement in computer-aided design (CAD) methodologies, algorithms, and tools has become increasingly important to cope with the rapidly growing design complexity, higher performance and low-power requirements, and shorter time-to-market demands. To encourage innovative, ground-breaking research in the area of electronic design automation, the ACM's Special Interest Group on Design Automation (SIGDA) has established an ACM award to be given each year to an outstanding Ph.D. dissertation that makes the most substantial contribution to the theory and/or application in the field of electronic design automation.
The award consists of a certificate and a check for $1,000 and is presented at the Design Automation Conference, which is held in June/July of each year. The award is selected by a committee of experts from academia and industry in the field and appointed by ACM in consultation with the SIGDA Chair.
Deadline: November 30th of each year
Each department of any university may nominate at most two Ph.D. dissertations
whose final submission date is between July 1st of the previous year and
June 30th of the current year. Each nomination package must be
emailed by November 30 and should consists of:
- The PDF file of the Ph.D. dissertation.
- A statement (up to two pages) from the nominee explaining the significance and major contributions of the work.
- A nomination letter from nominee's department chair or dean of the
school endorsing the application.
- Optionally, up to three letters of recommendation from experts in the field. These letters may be included in the nomination package or sent separately to the address below.
The nomination materials should be emailed to email@example.com
(Subject: ACM Outstanding Ph.D. Dissertation Award in EDA).
2009 Kai-Hui Chang for the dissertation "Functional Design Error Diagnosis, Correction and Layout Repair of Digital Circuits", defended with the University of Michigan at Ann Arbor, USA.
2008 No award is given this year.
2007 No award is given this year.
2006 Haifeng Qian of University of Minnesota, Minneapolis, Department of Electrical and Computer Engineering, for the thesis entitled "Stochastic and Hybrid Linear Equation Solvers and their Applications in VLSI Design Automation"
2005 Shuvendu Lahiri of Carnegie Mellon University, Department of Electrical and Computer Engineering, for a thesis entitled "Unbounded System Verification using Decision Procedure and Predicate Abstraction"
2004 Chao Wang of University of Colorado at Boulder, Department
of Electrical Engineering, for a thesis entitled "Abstraction Refinement for Large Scale Model Checking"
2003 Luca Daniel of University of California,
Berkeley Department of Electrical Engineering and Computer Science for
a thesis entitled "Simulation and modeling techniques for signal
integrity and electromagnetic interference on high frequency electronic
systems," and Lintao Zhang
of Princeton University Department of Electrical Engineering for a thesis
entitled "Searching for truth: techniques for satisfiability of Boolean
2002 No awards were given in this year.
2001 Darko Kirovski from University
of California, Los Angeles Department of Computer Science for a thesis
entitled "Constraint Manipulation Techniques for Synthesis and Verification
of Embedded Systems." The runner-up who received an honorable mention
in that years ceremony was Michael Beattie of Carnegie Mellon University
Department of Electrical and Computer Engineering for a thesis entitled
"Efficient Electromagnetic Modeling for Giga-scale IC Interconnect."
2000 Robert Brent Jones of Stanford
University Department of Electrical Engineering for a thesis entitled
"Applications of Symbolic Simulation To the Formal Verification of
1999 Award went to Dirk Stroobandt
from University of Ghent for a thesis entitled "Analytical Methods
for a prior Wire Length Estimates in Computer Systems." The runner-up
who received an honorable mention in that years ceremony was Naresh Maheshwari
of Iowa State University for a thesis entitled "Fast Algorithms
for Retiming Large Digital Circuits."