Related Lab Topic :
PhD
Alban Reynaud Michez
is preparing a PhD thesis in Verimag
from September 2022
to August 2026,
under the supervision of
Sylvain Boulme
Related Lab Topic :SharedResources
Pacs
FormalProofs
Related Lab Topic :