Skip to main content
50 ? true : false" >
IEEE.org
IEEE Xplore Digital Library
IEEE Standards
IEEE Spectrum
More Sites
About
About Us
About CEDA
Member Societies
Leadership
Executive Committee
Board of Governors
Governing Documents
Constitution & Bylaws
Minutes & Presentations
Publicity
Publicity Activities
YouTube Presentations
Awards
Awards & Recognitions Program
About Awards & Recognitions Program
Council Awards
Phil Kaufman Award
Phil Kaufman Hall of Fame
Distinguished Service Award
Kuh Early Career Award
Publications Awards
A. Richard Newton Award
Donald O. Pederson Award
Conference Awards
Outstanding Service Recognition
William J McCalla Award
IEEE Awards
Fellows
Activities
Education
Distinguished Lecturer Program
Virtual Distinguished Lecturer Program
CAD for Assurance
Design Automation Webinars
Chapters
Chapter Listings
Chapter Resources
Students and YP
Students
Student Travel Program
Young Professionals
Diversity, Equity, & Inclusion
About
Women in Technology at DAC
DivEDA at DATE
IEEE WIE
Technical Operations
About Technical Operations
Technical Committees
Conferences
About Conferences
About Conferences
Conference Listing
Event Calendar
Conference Calendar
Publications
About Publications
About Publications
Currents Newsletter
Subscribe to Newsletter
Transactions on Computer-Aided Design of Integrated Circuits & Systems
About TCAD
TCAD's Editorial Corner
Editorial Board
Call for Papers
Instructions for Authors
Current Issue
Donald O. Pederson Award
Embedded Systems Letters
About ESL
Editorial Board
Special Issues
Instructions for Authors
Current Issue
Co-Sponsored Publications
IEEE Design&Test (D&T)
IEEE Internet of Things Magazine (IoTM)
IEEE Journal on Exploratory Solid-State Computational Devices and Circuits (JxCDC)
IEEE Transactions on Circuits and Systems for Artificial Intelligence (TCASAI)
IEEE Transactions on Signal and Power Integrity (TSPI)
IEEE Transactions on Sustainable Computing (T-SUSC)
{});" @keydown.window.prevent.escape="searchBarOpen = false;" aria-label="Search">
Search
{$refs.slideOverBody.focus()});" @keydown.window.prevent.escape="openSlideOver = false;" aria-label="Menu">
Close panel
About
About Us
About CEDA
Member Societies
Leadership
Executive Committee
Board of Governors
Governing Documents
Constitution & Bylaws
Minutes & Presentations
Publicity
Publicity Activities
YouTube Presentations
Awards
Awards & Recognitions Program
About Awards & Recognitions Program
Council Awards
Phil Kaufman Award
Phil Kaufman Hall of Fame
Distinguished Service Award
Kuh Early Career Award
Publications Awards
A. Richard Newton Award
Donald O. Pederson Award
Conference Awards
Outstanding Service Recognition
William J McCalla Award
IEEE Awards
Fellows
Activities
Education
Distinguished Lecturer Program
Virtual Distinguished Lecturer Program
CAD for Assurance
Design Automation Webinars
Chapters
Chapter Listings
Chapter Resources
Students and YP
Students
Student Travel Program
Young Professionals
Diversity, Equity, & Inclusion
About
Women in Technology at DAC
DivEDA at DATE
IEEE WIE
Technical Operations
About Technical Operations
Technical Committees
Conferences
About Conferences
About Conferences
Conference Listing
Event Calendar
Conference Calendar
Publications
About Publications
About Publications
Currents Newsletter
Subscribe to Newsletter
Transactions on Computer-Aided Design of Integrated Circuits & Systems
About TCAD
TCAD's Editorial Corner
Editorial Board
Call for Papers
Instructions for Authors
Current Issue
Donald O. Pederson Award
Embedded Systems Letters
About ESL
Editorial Board
Special Issues
Instructions for Authors
Current Issue
Co-Sponsored Publications
IEEE Design&Test (D&T)
IEEE Internet of Things Magazine (IoTM)
IEEE Journal on Exploratory Solid-State Computational Devices and Circuits (JxCDC)
IEEE Transactions on Circuits and Systems for Artificial Intelligence (TCASAI)
IEEE Transactions on Signal and Power Integrity (TSPI)
IEEE Transactions on Sustainable Computing (T-SUSC)
Share on:
Breadcrumb
Home
Contact
Sanjit A. Seshia
Sanjit A. Seshia
Contact Menu
Biography
Recognitions:
2018
IEEE Fellow
2017
IEEE Transactions on Computer-Aided Design Donald O. Pederson Best Paper Award
Outdated or incorrect information? Please click here to update us with the correct information.
20 || document.documentElement.scrollTop > 20 ? scroll = true : scroll = false" @click="window.scrollTo({top: 0, behavior: 'smooth'})" x-show="scroll" type="button">