Marieke Huisman obtains ERC Starting Independent Researcher Grant

Marieke Huisman has obtained a 1.3 million ERC Starting Independent Researcher Grant for the VerCors project, to work on the verification of concurrent data structures. Project duration is 60 months. Two PhD students and two post docs will be appointed on the project. Further information.

October 11, 2010
See this news item in overview by year.