Pascal Bergsträßer (Preferred)
Pascal Bergsträßer
Postdoc, Universität Kaiserslautern
Joined
May 2024
Names
Emails
****@cs.uni-kl.de (Confirmed)
Personal Links
Career & Education History
Postdoc
Universität Kaiserslautern (uni-kl.de)
2025 – Present
PhD student
Universität Kaiserslautern (uni-kl.de)
2020 – 2025
Advisors, Relations & Conflicts
Coauthor
Moses Ganardi
Present
Expertise
Automata Theory
Present
Logic
Present
Formal Verification
Present
FLaNN
Present