Coll. part. Cătălin Hriţcu, 2016 winner of an ERC – Starting Grant. My ambition is to make formally secure compilation a reality. Read the complete interview Cătălin Hriţcu awarded an ERC grant
