Pascal Bergsträßer

Pascal Bergsträßer is a PhD student in theoretical computer science at the University of Kaiserslautern-Landau, Germany supervised by Anthony W. Lin and Georg Zetzsche. He is interested in problems related to logic, formal languages and automata theory, and verification. In particular, he is working on Ramsey Quantifiers in different first-order theories and their applications to verification (e.g. monadic decomposability and liveness).