Rolf Drechsler

ACM Fellows

Germany - 2023

citation

For contributions to foundations and applications of formal proof techniques in synthesis, test and verification.

Press Release

ACM Senior Member

Germany - 2021

ACM Distinguished Member

Germany - 2021

Press Release