Entwurfsmethodik Logo
Hardware Circuit Closeup

Aktuelles

Unser Webserver ist aus Sicherheitsgründen in Wartung. Wir biten hier minimale alternative Informationen an solange bis der Webserver wieder hergestellt ist

Mitarbeiter
  • Prof. Dr. Lars Hedrich
    Telefon:
    +49 (0)69 798-22297
    Raum:
    204
  • Gülden Bispinck
    Telefon:
    +49 (0)69 798-28696
    Raum:
    202
  • M.Sc. Yasmin Abu-Haeyeh
    Telefon:
    +49 (0)69 798-28242
    Raum:
    213
  • M.Sc. Caroline Draudt
    Telefon:
    +49 (0)69 798-28242
    Raum:
    213
  • M.Sc. Thomas Zander
    Telefon:
    +49 (0)69 798-28221
    Raum:
    214

Email aller Mitarbeiter:
<Nachname>@em.informatik.uni-frankfurt.de

Adresse:
Robert-Mayer-Str. 11-15,
60325 Frankfurt am Main

Lehre

Die Unterlagen für die folgenden Lehrveranstalungen im WS 26/27 sind provisorisch in einem Moodle Kurs untergrebracht. Sie können sich dort selbst einschreiben:

Forschung

Die Professur entwickelt Methoden auf den folgenden Gebieten:

  • Formale Verifikation von analogen Schaltungen
  • Synthese von analogen Schaltungen
  • Cyber-physikalische Systeme
  • Energieeffiziente Neuronale Netze
  • Spezifikation analoger Schaltungen
  • Symbolische Analyse analoger Schaltungen