Sascha Schmalhofer

Sascha Schmalhofer is a Professor for Design Methodology at the Institute of Computer Science, Johann Wolfgang Goethe University in Frankfurt am Main, Germany. His office is located in Room 214 at Robert-Mayer-Str. 11-15, 60325 Frankfurt, and he can be reached at +49 69 798-28221.

Professor Schmalhofer specializes in analog and mixed-signal circuit design with research interests spanning Electronic Design Automation (EDA), hardware verification methodologies, heterogeneous systems design, and analog implementations of AI hardware. His work bridges theoretical foundations with practical applications in circuit design and verification.

His research focuses on developing advanced verification techniques for analog circuits, particularly for safety-critical applications including analog AI hardware. He investigates formal verification methodologies that can handle neural networks of arbitrary sizes and types of neurons through order reduction methods and compositional verification frameworks.

Professor Schmalhofer actively supervises Bachelor's and Master's theses, with current opportunities listed for unsolicited applications. He teaches multiple courses each semester including Analog Circuits for Information Processing, Electronic Design Automation, System Verification, and Design of Heterogeneous Systems.

He is involved in several significant research projects funded by organizations including the German Research Foundation (DFG) and the Federal Ministry of Education and Research (BMBF), collaborating with institutions such as Leibniz University of Hanover and Technical University of Munich.

His teaching approach spans from fundamental circuit design to complete embedded systems, emphasizing practical experience through laboratory work. The courses he teaches cover the full spectrum from diode-level circuit design to complex system integration and verification.