Pascal Bergsträßer

PhD student, Universität Kaiserslautern

  • Joined May 2024

Names

Pascal Bergsträßer (Preferred)

Emails

****@cs.uni-kl.de (Confirmed)

Personal Links

Career & Education History

PhD student
Universität Kaiserslautern (uni-kl.de)
2020 – Present
 

Advisors, Relations & Conflicts

PhD Advisor
Present
 
PhD Advisor
Present
 
Coauthor
Moses Ganardi
Present
 

Expertise

Automata Theory
Present
 
Logic
Present
 
Formal Verification
Present