There are 1 Results with the keyword : "Cătălin Hriţcu"
European Research Council 2016
A graduate of the University of Saarland in Germany, Cătălin Hriţcu worked as a Research Associate at the University of Pennsylvania before joining Inria as a Researcher in 2013. He has just won a European Research Council (ERC) grant for 5 years. His ambition: to make formally secure compilation a reality.