Barcelona Group on Pure and Applied Proof Theory
Barcelona Group on Pure and Applied Proof Theory
People
Projects
Events
Publications
Various Links
Verification
Industrial Doctorate Program (Sofía Santiago)
Software verification and formalization of mathematics. The semantics road.
Joost J. Joosten
,
Sofía Santiago
Prometheuss
Research group on verified software.
Industrial Doctorate Program (Alfonso Alfaro)
Pure and Applied Proof Theory.
Joost J. Joosten
,
Alfonso Alfaro
Industrial Doctorate Program (Ana Borges)
Software verification and formalization of mathematics. The semantics road.
Joost J. Joosten
,
Ana Borges
Industrial Doctorate Program (Esperanza Buitrago)
Foundations of mathematics and verification of software.
Joost J. Joosten
,
Esperanza Buitrago
Industrial Doctorate Program (Nika Pona)
Software verification and formalization of mathematics. The semantics road.
Nika Pona
,
Joost J. Joosten
RETOS
Software de fallo cero.
Cite
×
