Industrial Doctorate Program (Esperanza Buitrago)

Joost J. Joosten, Esperanza Buitrago
Feb 23, 2021 Logic, Verification, PhD

Funding: Generalitat de Catalunya, Departament d'Empresa i Coneixement, Oct. 2020–Oct. 2023.

IP: Joost J. Joosten,

PhD student: Esperanza Buitrago;

Foundations of mathematics and verification of software.

Related