GRANTS

I'm coordinating / participating in the following projects.

• "Challenging problems in infinite-state systems", ERC Starting grant coordinated by Wojtek Czerwiński (participant)..

• Data-enriched models of computation (Modele obliczeń rozszerzone o dane), NCN grant OPUS 18 coordinated by Sławek Lasota, July 2020 - July 2024, UMO-2019/35/B/ST6/02322 (participant).

I've previously coordinated / participated in the following projects.

• Understanding recursion (Zrozumieć rekursję), NCN grant SONATA 13, 2017/26/D/ST6/00201, April 2018 - April 2023 (coordinator).

• Symbolic computations on first-order definable objects (Obliczenia symboliczne na obiektach definiowalnych w logice pierwszego rzędu), NCN grant 2016/21/B/ST6/01505, February 2017 - February 2020 (participant).

• The separability problem in automata theory (Problem separacji w teorii automatów), NCN grant 2016/21/D/ST6/01376, February 2017 - February 2019 (participant).

• Limits of automatic verification: New methods for the analysis of infinite-state systems (Granice automatycznej weryfikacji: nowe metody analizy systemów nieskończenie stanowych), NCN grant 2013/09/B/ST6/01575, March 2014 - March 2017 (participant).

• Limits of decidability in automata theory (Granice rozstrzygalności w teorii automatów), NCN grant 2012/07/D/ST6/02443, July 2013 - July 2016 (participant).

• Validation of the control of critical systems by coupling simulation and formal methods (Validation de la commande des systèmes critiques par couplage simulation et méthodes d'analyse formelle (VACSIM)), ANR grant ANR-11-INSE-004, October 2011 - March 2015 (participant).

• Foundations for a Shift from Verification to Synthesis (inVEST), ERC grant 279499, January 2012 - September 2017 (participant).