Skip to main content

IEEE.org
IEEE Xplore Digital Library
IEEE Standards
IEEE Spectrum
More Sites

About Us

About CEDA

Member Societies

Leadership

Executive Committee

Board of Governors

Governing Documents

Constitution & Bylaws

Minutes & Presentations

Publicity

Publicity Resources

YouTube Presentations

Staff

Operations Manager
Awards & Recognitions Program

About Awards & Recognitions Program

Council Awards

Chapter of the Year

Distinguished Service Award

Ernest S. Kuh Early Career Award

Phil Kaufman Award

Phil Kaufman Hall of Fame

Publications Awards

A. Richard Newton Award

Donald O. Pederson Award

Conference Awards

Outstanding Service Recognition

William J McCalla Award

IEEE Awards

Fellows
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
About Conferences

About Conferences

Conference Listing

Event Calendar

Conference Calendar
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

Apply to Become External Reviewer

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)

- About Conferences
  
  Conference Listing
- Conference Calendar

Breadcrumb

Home
Distinguished Lecturer
Rolf Drechsler - Distinguished Lecturer

Rolf Drechsler - Distinguished Lecturer

Country

DEU

Rolf Drechsler

Rolf Drechsler

Affiliation

University of Bremen

IEEE Region

Region 08 (Africa, Europe, Middle East)

Email

Email

Website

Website

Term Date

2023 - 2024

Type

Distinguished Lecturer

Lectures

Title

Polynomial Formal Verification: Ensuring Correctness under Resource Constraints

Presenter

Rolf Drechsler

Follow CEDA

Email List Subscribe

IEEE Home
More IEEE Sites

© Copyright 2024 IEEE – All rights reserved. Use of this website signifies your agreement to the IEEE Terms & Disclosures.

A public charity, IEEE is the world's largest technical professional organization dedicated to advancing technology for the benefit of humanity.

This site is created, maintained, and managed by Conference Catalysts, LLC.
Please feel free to contact us for any assistance.