Industrial Doctorate Program (Ana Borges)

Joost J. Joosten, Ana Borges
Feb 23, 2021 Logic, Verification, PhD

Funding: 2016 DI 032, Generalitat de Catalunya, Departament d'Empresa i Coneixement, Feb 2017–Feb 2020.

IP: Joost J. Joosten.

PhD student: Ana Borges.

The project studies among others strictly positive fragments of various modal logics and verified software.

Related