Section: Contracts and Grants with Industry

INRIA Microsoft Research Joint Centre

TypiCal has a strong link with the INRIA-Microsoft Research joint centre, of which Benjamin Werner, Assia Mahboubi, Cyril Cohen, and Bruno Barras are also members.