Both Andrea’s and Moritz’s CAS fellowships have been extended for the next year.

Andrea’s project for the Research Fund for International Young Scientists on LP-based reduction techniques for analyzing cost probabilistic automata has been approved by the National Natural Science Foundation of China (NSFC).

The Sino-German project CAP has been granted by the Sino-German Center.

More details on the project are available in the CAP website.

Andrea has been granted with the CAS fellowship for young international scientists.