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 that of ensuring we can trust the systems we depend on, that they are reliable. We use on formal methods and theorem provers for this, 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.