About us

This is the web page of the Programming Reliable Systems (PRS) group at TU Darmstadt, led by Andrés Goens.

Our research vision is ensuring we can trust the systems we depend on, that they are reliable. For this, we rely on formal methods and theorem prover, to verify or build correct-by-construction designs. Our focus is on two related lines of work: on the systems side, we work on concurrency like models of computation or shared-memory models or coherence protocols. On the verification side, we work on proof automation and decision procedures, where we often work with the Lean proof assistant and with e-graphs.