Marco Sälzer (Preferred)
Marco Sälzer
Postdoc, Rheinland-Pfälzische Technische Universität
PhD student, University of Kassel
- Joined May 2022
Names
Emails
****@uni-kassel.de (Confirmed)
, ****@rptu.de (Confirmed)
Personal Links
Career & Education History
Postdoc
Rheinland-Pfälzische Technische Universität (rptu.de)
2025 – Present
PhD student
University of Kassel (uni-kassel.de)
2020 – 2025
Advisors, Relations & Conflicts
Expertise
machine learning, verification, interpretability
2020 – Present
graph neural network, expressivity, complexity
2020 – Present
transformers, expressivity, complexity
2020 – Present
logic, model checking
2020 – Present