Pascal Kettmann
Aus International Center for Computational Logic
M.A. Pascal Kettmann
Wissenschaftlicher Mitarbeiter Computational Logic
- pascal.kettmann@tu-dresden.de
- +49 351 463 43549
- APB 2039
Seit Dezember 2022 bin ich wissenschaftlicher Mitarbeiter an der Professur für Computational Logic und arbeite im BMFD geförderten Projekt M/EDGE.
Neueste Publikationen
Komplette Publikationsliste anzeigenLehrveranstaltungen
- Formale Systeme (WS 2024)
M/EDGE
Vertrauenswürdige und energiesparsame Edge-Elektronik für medizinische Anwendungen
