Rigorous Systems Engineering

We are proud to announce that we have been awarded a National Research Network grant from FWF. RiSE is the only network grant in Computer Science in Austria. It's goal is to bring the state of the art in formal methods from after-the-fatct verification to formal methods to help designers write correct code from the get-go. The grant is coordinated by IAIK's Roderick Bloem and is a collaboration of Armin Biere (Linz), Krishnendu Chatterjee (IST Austria), Uwe Egly (TU Wien), Thomas A. Henzinger (IST Austria), Christoph Kirsch (Salzburg), Helmut Veith (TU Wien), and Ulrich Schmid (TU Wien).