Industrial Doctorate Program (Nika Pona)

Nika Pona, Joost J. Joosten
Feb 23, 2021 Logic, Verification, PhD

Funding: Industrial doctorate program, 2016 DI 032, Generalitat de Catalunya, Departament d'Empresa i Coneixement, Feb 2017–Feb 2020. Software verification and formalization of mathematics. The semantics road. 2017–Feb 2020.

IP: Joost J. Joosten.

PhD student: Nika Pona.

The project studies various aspects of ordinal analysis via iterated consistency and verified software.

Related