![null Bild der Pressemitteilung](https://saarland-informatics-campus.de/wp-content/plugins/wp-fastest-cache-premium/pro/images/blank.gif)
Two MPI-SWS faculty members have received 3-year research grants from DFG, the German Research Organization. Eva Darulova has received a single-PI DFG grant entitled "Automated Rigorous Verification and Synthesis of Approximations." Björn Brandenburg has received a DFG grant entitled "RT-Proofs: Formal proofs for real-time systems." This award is for a collaborative…