Industrial Doctorate Program (Alfonso Alfaro)

Joost J. Joosten, Alfonso Alfaro
Feb 23, 2021 Logic, Verification, PhD

Funding: 2019 DI 062, Generalitat de Catalunya, Departament d'Empresa i Coneixement, June 2020—June 2023.

IP: Joost J. Joosten.

PhD student: Alfonso Alfaro.

This project studies both combinatoric principles independent of certain formal mathematical theories like PA and verified software.

Related