Pascal Bergsträßer

Postdoc, Universität Kaiserslautern

PhD student, Universität Kaiserslautern

  • Joined May 2024

Names

Pascal Bergsträßer (Preferred)

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

PhD Advisor
Present
 
PhD Advisor
Present
 
Coauthor
Moses Ganardi
Present
 
Coauthor
Present
 

Expertise

Automata Theory
Present
 
Logic
Present
 
Formal Verification
Present
 
FLaNN
Present