Gülden Bispinck

Gülden Bispinck is a Professor at the Design Methodology department of the Institute of Computer Science at Goethe University Frankfurt. Her research focuses on Electronic Design Automation (EDA), Analog Circuits, and Heterogeneous Systems.

She leads research projects such as Formal Verification of Analog AI Hardware (FAI), Energy-optimized analog circuits for deep neural networks (ENERGICS), and Formal Abstraction and Verification of Analog Circuits (faveAC). Her work addresses challenges like robustness in nanoelectronic systems, automated synthesis of analog circuits, and verification of cyber-physical systems.

For teaching, she offers courses on Electronic Design Automation, Analog Circuits for Information Processing, and Design of Heterogeneous Systems. Her office is located at Room 202, Robert-Mayer-Str. 11, 60325 Frankfurt a.M.