We are proud to announce that the members of the SecInt Doctoral College, opens an external URL in a new window: Andrey Kofnov, Marcel Moosbrugger, Ezio Bartocci and Efstathia Bura were awarded with the Best Paper Award (1000 Euro offered by Springer) at the 19th International Conference on Quantitative Evaluation of Systems (QEST 2022) held in Warsaw (Poland) for their paper:

"Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments" (https://link.springer.com/cha.../10.1007/978-3-031-16336-4_1, opens an external URL in a new window)

CONGRATULATIONS!

In this paper they combine the theory of polynomial chaos expansion with automatic moment-based invariant generation to analyze, as closed-form expressions, the statistical moments of random variables' distributions generated by probabilistic programs with non polynomial assignments. An example of such programs is the Taylor rule, used by central banks to set monetary policy by raising or lowering their target for the federal funds rate. They have also applied their method to analyze the probabilistic behavior of cyber-physical systems (2D Robotic Arm, Rimless Wheel Walker, Turning vehicle) modelled as probabilistic programs. This paper is the result of an intensive and productive inter-faculty and inter-disciplinary collaboration between the faculties of Computer Science and Mathematics and Geoinformation (Applied Statistics) at TU Wien. 

Announcement

The TUW Doctoral School would like to inform all TUW employees that the next Doctoral College Call has been postponed until further notice.