Pascal Kettmann
From International Center for Computational Logic
M.A. Pascal Kettmann
Research Associate Computational Logic
- pascal.kettmann@tu-dresden.de
- +49 351 463 43549
- APB 2039
Since December 2022, I am a research assistant in the Computational Logic Group. I work within the BMFD-funded project M/EDGE.
Newest Publications
View full publication listCourses
- Formale Systeme (WS 2024)
M/EDGE
Secure Low Power Medical Edge Computing
