Marco Sälzer (Preferred)
Marco Sälzer
Postdoc, Rheinland-Pfälzische Technische Universität
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