Coll. part. Cătălin Hriţcu lauréat 2016 de la bourse ERC Starting Grant. Mon ambition, faire de la compilation formellement sécurisée une réalité. Retrouvez son interview Cătălin Hriţcu s'est vu décerner une bourse ERC Starting Grant
