Industrial Doctorate Program (Sofía Santiago)

Joost J. Joosten, Sofía Santiago
Oct 1, 2022 Logic, Verification, PhD

Funding: Industrial doctorate program, 2022 DI 051, Generalitat de Catalunya, Departament d'Empresa i Coneixement, Oct 2022–Oct 2025.

IP: Joost J. Joosten.

PhD student: Sofía Santiago.

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

Related